Sala 6.2.33, FCUL, Lisboa
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.
This seminar is supported by National Funding from FCT - Fundação para a Ciência e a Tecnologia, under the project: UID/MAT/04561/2013.
15h00
CMAF-CIO - Centro de Matemática, Aplicações Fundamentais e Investigação Operacional
