Satz von Morley (Modelltheorie)

Der Satz von Morley ist ein Satz aus der Modelltheorie, einem mathematischen Teilgebiet der Logik. Er sagt aus, dass eine abzählbare Theorie, die bis auf Isomorphie in einer überabzählbaren Kardinalzahl nur ein Modell hat, dann auch in jeder überabzählbaren Kardinalzahl nur ein Modell hat. Bewiesen wurde der Satz von Michael D. Morley 1962 in seiner Dissertation Categoricity in Power. Der Satz und sein Beweis übten eine nachhaltige Wirkung auf die Modelltheorie aus. Im Jahr 2003 erhielt Morley dafür den Leroy P. Steele Prize.[1] Saharon Shelah verallgemeinerte 1974 den Satz auf überabzählbare Theorien.

Geschichte

Eine Theorie heißt kategorisch in einer Kardinalzahl , wenn es bis auf Isomorphie nur ein Modell der Theorie mit Mächtigkeit gibt. Eine Theorie heißt kategorisch, wenn sie in irgendeiner Kardinalzahl kategorisch ist.[2]

Jerzy Łoś berichtete 1954,[3] dass er nur drei Typen von kategorischen Theorien finden könne:[4]

  1. Theorien, die in jeder Kardinalzahl kategorisch sind,
  2. Theorien, die abzählbar kategorisch, aber in jeder überabzählbaren Kardinalzahl nicht kategorisch sind, und schließlich
  3. Theorien, die nicht abzählbar kategorisch, aber in jeder überabzählbaren Kardinalzahl kategorisch sind.

Łoś vermutete, dass es keine weitere Möglichkeiten gibt. Diese Vermutung wurde von Morley bewiesen und von Shelah verallgemeinert. Dies war der Beginn von weiteren Untersuchungen im Bereich der Kategorizität und der stabilen Theorien.

Satz von Morley

Sei eine abzählbare Theorie, also eine Theorie über einer abzählbaren Sprache. Sei weiter kategorisch in einer überabzählbaren Kardinalzahl. Dann ist in jeder überabzählbaren Kardinalzahl kategorisch.

Der Beweis zeigt mehr, nämlich folgendes Korollar:

Sei eine vollständige Theorie über einer abzählbaren Sprache und sei . Wenn jedes Modell von der Mächtigkeit -saturiert ist, dann ist jedes Modell von saturiert.

(Bemerkung: Saturierte Modelle gleicher Mächtigkeit sind stets isomorph; die erste überabzählbare Kardinalzahl wird in der Modelltheorie häufig mit statt mit bezeichnet.)

Beweis

Der ursprüngliche Beweis konnte von Baldwin und Lachlan vereinfacht werden. Zur Zeit von Morleys Beweis waren zwei Schlüssellemmata noch nicht bekannt. Der heutige Beweis zerfällt in zwei Teile, einen „Aufwärts“- und einen „Abwärts-“ Teil.

Aufwärts

Ist kategorisch in , so lässt sich zeigen, dass stabil ist und daher ein saturiertes Modell der Mächtigkeit hat. Also sind alle Modelle der Mächtigkeit saturiert.

Ein Lemma sagt, dass man aus einem überabzählbaren nicht saturiertem Modell ein nicht saturiertes Modell der Mächtigkeit bilden kann. Der Beweis dieses Lemmas wird mit einer auf zwei Kardinalzahlen verallgemeinerten Version des Satzes von Löwenheim-Skolem geführt, die zur Zeit von Morleys Beweis noch nicht bekannt war.

Daher muss auch ein beliebiges überabzählbares Modell saturiert sein. Saturierte Modelle gleicher Mächtigkeit sind isomorph, daher ist auch kategorisch in jeder überabzählbaren Kardinalzahl.

Abwärts

Sei nun kategorisch in und ein Modell der Mächtigkeit . Es gibt -saturierte Modelle der Mächtigkeit , also ist -saturiert.

Aus der -Kategorizität kann wieder auf die -Stabilität geschlossen werden. Damit kann aus einem -mächtigen Modell ein Modell der Mächtigkeit konstruiert werden, dass nicht mehr Typen über abzählbaren Mengen als realisiert. Dieses muss aber nach Voraussetzung isomorph zu sein, welches -saturiert ist. Also ist auch -saturiert, also saturiert. Da saturierte Modelle gleicher Mächtigkeit isomorph sind, sind alle -mächtigen Modelle isomorph.

Beispiele

Es gibt nur wenig bekannte natürliche Beispiele von kategorischen Theorien.[5] Diese sind unter anderem:

Total kategorische Theorien

  • Die Theorie über der leeren Sprache hat in jeder Kardinalzahl bis auf Isomorphie genau ein Modell.
  • Die Theorie der unendlichen abelschen Gruppen, in denen alle Elemente die Ordnung p haben (p ist eine Primzahl), ist kategorisch in jeder Kardinalzahl.

Abzählbar kategorische und nicht überabzählbar kategorische Theorien

  • Die Theorie der dichten linearen Ordnung ohne Endpunkte ist die Theorie von als Ordnungsstruktur. Georg Cantor zeigte, dass zwei abzählbare Modelle isomorph sind. Allerdings ist diese Theorie nicht kategorisch in überabzählbaren Kardinalzahlen. So gibt es Modelle mit Punkten, die nur abzählbar viele Punkte zwischen sich haben und Modelle, die zwischen je zwei Punkten immer überabzählbar viele Punkte haben.
  • Ein anderes einfacheres Beispiel ist die Theorie mit zwei Äquivalenzklassen, die die Axiome enthält, dass in beiden Äquivalenzklassen unendlich viele Elemente sind. Ein abzählbares Modell muss in beiden Klassen abzählbar viele Elemente haben, ein überabzählbares Modell muss nur in einer Klasse überabzählbar viele Elemente haben und kann in der anderen Äquivalenzklasse abzählbar viele oder überabzählbar viele Elemente haben.

Nicht abzählbar kategorische und überabzählbar kategorische Theorien

  • Ein klassisches Resultat von Ernst Steinitz sagt, dass zwei algebraisch abgeschlossene Körper derselben Charakteristik und derselben überabzählbaren Mächtigkeit isomorph sind, während sich zwei abzählbare abgeschlossene Körper derselben Charakteristik durch ihren Transzendenzgrad, der endlich oder abzählbar ist, unterscheiden können.
  • Eine divisible torsionsfreie abelsche Gruppe kann als -Vektorraum aufgefasst werden. Es gibt abzählbar viele abzählbare Modelle (je nach Dimension) und in überabzählbaren Kardinalzahlen genau ein Modell.
  • Die vollständige Theorie von , wobei die Nachfolgerfunktion ist.
  • Die Theorie über der Sprache mit den Axiomen, die besagen, dass für anders als interpretiert wird.

Verallgemeinerung

Shelah gelang es, Morleys Ergebnisse auf überabzählbare Sprachen zu verallgemeinern: (Er erweiterte dabei frühere Arbeiten von Rowbottom und Ressayre.)

Ist eine vollständige Theorie über einer Sprache kategorisch in einer Kardinalzahl , so ist sie kategorisch in jeder Kardinalzahl, die größer als ist.

Einzelnachweise und Anmerkungen

  1. Zum Steele Preis für Morley, Notices of the AMS, 2003, (PDF-Datei) (269 kB)
  2. Diese Definition von kategorisch folgt: Philipp Rothmaler: Einführung in die Modelltheorie, Spektrum Akademischer Verlag 1995, ISBN 978-3-86025-461-5, Abschnitt 8.5. Die ursprüngliche Definition von kategorisch verlangte für Kategorizität, dass es bis auf Isomorphie nur ein Modell gibt, was aber nach dem Satz von Löwenheim-Skolem nur für vollständige Theorien mit (genau) einem endlichen Modell zutrifft. (O. Veblen, 1904, s. Wilfrid Hodges: First Order Model Theory. In: Edward N. Zalta (Hrsg.): Stanford Encyclopedia of Philosophy.)
  3. Jerzy Łoś: On the categoricity in power of elementary deductive systems and related problems, Colloq Math., 3 (1954), S. 58–62.
  4. http://plato.stanford.edu/archives/sum2005/entries/modeltheory-fo/#Thms
  5. Chang, Chen C., Keisler, H.Jerome: Model theory. Third edition. Studies in Logic and the Foundations of Mathematics, 73. North-Holland Publishing Co., Amsterdam, 1990. ISBN 0-444-88054-2, Abschnitt 7.1

Weblinks

Literatur

  • Chang, Chen C., Keisler, H. Jerome: Model theory. Third edition. Studies in Logic and the Foundations of Mathematics, 73. North-Holland Publishing Co., Amsterdam, 1990. ISBN 0-444-88054-2
  • Michael Morley: Categoricity in power, Transactions of the AMS, Bd. 114, 1965, S. 514–538