- Characterizing all models in infinite cardinalities
- Award date
- 20 September 2011
- Number of pages
- Amsterdam: Institute for Logic, Language and Computation
- Document type
- PhD thesis
- Interfacultary Research Institutes
- Institute for Logic, Language and Computation (ILLC)
Fix a cardinal κ. We can ask the question what kind of a logic L is needed to characterize all models of cardinality κ (in a finite vocabulary) up to isomorphism by their L-theories. In other words: for which logics L it is true that if any models A and B satisfy the same L-theory then they are isomorphic.
It is always possible to characterize models of cardinality κ by their Lκ+,κ+- theories, but we are interested in finding a "small" logic L, i.e. the sentences of L are hereditarily smaller than κ. For any cardinal κ it is independent of ZFC whether any such small definable logic L exists. If it exists it can be second order logic for κ = ω and fourth order logic or certain infinitary second order logic L2κ,ω for uncountable κ. All models of cardinality κ can always be characterized by their theories in a small logic with generalized quantifiers, but the logic may be not definable in the language of set theory.
- ILLC dissertation series DS-2011-05
Research conducted at: Universiteit van Amsterdam
If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the material inaccessible and/or remove it from the website. Please Ask the Library, or send a letter to: Library of the University of Amsterdam, Secretariat, Singel 425, 1012 WP Amsterdam, The Netherlands. You will be contacted as soon as possible.