Luís Pereira
Instituto Superior Técnico, Universidade de Lisboa

Reinhard Kahle
CMA and DM, FCT, Universidade Nova de Lisboa

Bruno Dinis
Universidade de Lisboa

Peter Gothen
Universidade do Porto

José Pedro Gaivão
CEMAPRE and ISEG, Universidade de Lisboa

Nenad Antonic
Faculty of Sciences, University of Zagreb

Imme Van Den Berg
Universidade de Évora

Abstract: Together with Bruno Dinis we developed an axiomatics for the external numbers of nonstandard analysis. The axioms are similar to, but somewhat weaker than the axioms for the real numbers and deal with algebraic rules, Dedekind completeness and the Archimedean property. A structure satisfying these axioms is called a complete arithmetical solid. We show that such a structure must have a built-in nonstandard model for the real number system.

Pierre Berger
Laboratoire Analyse, Géométrie & Applications, Université Paris 13

Analytic and geometric properties of functions with dislocations singularity (13h30)

Riccardo Scala (Weierstrass Institute (WIAS), Berlin)

Pedro Pinto
Faculdade de Ciências da Universidade de Lisboa