Algebra Seminar talk
2014-10-24
Michael Kompatscher
Definierbare Strukturen
Abstract:
In einer koordinatisierten Struktur B lässt sich jedes Element mit
Parametern aus einer ausgezeichnete Unterstruktur P(B) definieren. Dabei
lässt sich jede Aussage erster Ordnung über ein Element von B in eine
Aussage über seine Parameter ("Koordinaten") in P(B) übersetzen.
(Triviales Beispiel: komplexe Zahlen mit ihrer üblichen algebraischen
und topologischen Struktur lassen sich durch reelle Zahlen beschreiben.)
In meinem Vortrag werde ich anhand von Beispielen einige Eigenschaften koordinatisierter Strukturen und ihrer Theorien aufzeigen. Außerdem gehe ich auf Abschwächungen der Koordinatisiertheit ein.