O Teorema de Galvin-Hajnal em Aritmética Cardinal (2)
Luís Pereira
Instituto Superior Técnico, Universidade de Lisboa
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