Philip Dittmann:
Anwendungen von Typen in der Theorie reeller Körper
Zeit und Ort
Mittwoch, 20.6.18, 16:30-17:30, Raum 404, Ernst-Zermelo-Str. 1
Zusammenfassung
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