HENKIN CONSTRUCTIONS OF MODELS WITH SIZE CONTINUUM

DOI10.1017/bsl.2018.2OpenAlexW2761107770MaRDI QIDQ4632538

John T. Baldwin, Michael Chris Laskowski

Publication date: 30 April 2019

Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1710.00422

zbMATH Keywords

atomic modelasymptotic similarityBorel modelHenkin sets

Mathematics Subject Classification ID

Models with special properties (saturated, rigid, etc.) (03C50) Model-theoretic forcing (03C25) Other model constructions (03C30)

Related Items (1)

A strong failure of \(\aleph _0\)-stability for atomic classes

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Classification theory for non-elementary classes. I: The number of uncountable models of \(\psi \in L_{\omega _ 1,\omega}\)
• A note on counterexamples to the Vaught conjecture
• Stability and omitting types
• Categoricity in \(\aleph_1\) of sentences in \(L_{\omega_1\omega}(Q)\)
• Classification theory and the number of non-isomorphic models
• Tree indiscernibilities, revisited
• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
• CONSTRUCTING MANY ATOMIC MODELS IN ℵ₁
• On quasiminimal excellent classes
• The atomic model theorem and type omitting
• Explanation, Independence and Realism in Mathematics
• A Two-Cardinal Theorem
• A Two-Cardinal Theorem and a Combinatorial Theorem
• On the existence of atomic models
• KNIGHT'S MODEL, ITS AUTOMORPHISM GROUP, AND CHARACTERIZING THE UNCOUNTABLE CARDINALS
• Covers of multiplicative groups of algebraically closed fields of arbitrary characteristic
• The Varieties of Mathematical Explanation
• Recursive logic frames
• A property of stable theories
• INVARIANT MEASURES CONCENTRATED ON COUNTABLE STRUCTURES
• The completeness of the first-order functional calculus

This page was built for publication: HENKIN CONSTRUCTIONS OF MODELS WITH SIZE CONTINUUM