Philip Dittmann:
Anwendungen von Typen in der Theorie reeller Körper
Time and place
Wednesday, 20.6.18, 16:30-17:30, Raum 404, Ernst-Zermelo-Str. 1
Abstract
Ein angeordneter Körper heißt archimedisch, falls die Menge der ganzen Zahlen in ihm unbeschränkt ist. Es ist leicht zu sehen, dass diese Eigenschaft nicht erststufig axiomatisierbar ist, weshalb es sich anbietet, schwächere Bedingungen zu studieren. Dies führt auf sehr natürliche Weise zur Sprache von Typen im Sinne der Modelltheorie, und einigen interessanten (und recht subtilen) Fragen zu deren Realisierbarkeit.\n