Tim -- Many thanks for posting the summary of the conference.
Below I add a small precision. root <[EMAIL PROTECTED]> writes: [...] | 5) Indefinites. | | Tim mentioned that indefinites could be done using provisos. | | Bill objected that provisos was a proof-theoretic approach | and that an algebraic approach might be more axiom-like. | Thus, express Indefinite(Integer) as a Poly(Int) domain if there | was sufficient coverage. | | Kai thought that both approaches were needed. | | 6) Kai has a student who wants to work on provisos. | Tim agreed to share work with the student. in both case, I think it was Gaby, not Kai :-) [...] | Tim will be generally unavailable until next monday evening. Have fun! -- Gaby _______________________________________________ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer
