Theories with a finite number of countable models

Theories with a finite number of countable models

We give two examples. T0 has nine countable models and a nonprincipal 1-type which contains infinitely many 2-types. T1 has four models and an inessential extension T2 having infinitely many models.

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:The Journal of symbolic logic 1978-09, Vol.43 (3), p.442-455
1. Verfasser: Woodrow, Robert E.
Format: Artikel
Sprache:eng
Schlagworte:
Amalgamation properties
Automorphisms
Cardinality
Grammatical constructions
Lexicography
Mathematical constants
Mathematical logic
Mathematical models
Model theory
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:We give two examples. T0 has nine countable models and a nonprincipal 1-type which contains infinitely many 2-types. T1 has four models and an inessential extension T2 having infinitely many models.
ISSN:0022-4812
1943-5886
DOI:10.2307/2273520