Model theory via set theory

DOI10.1007/BF02834760zbMath0373.02038MaRDI QIDQ1244220

John E. Hutchinson

Publication date: 1976

Published in: Israel Journal of Mathematics (Search for Journal in Brave)

Mathematics Subject Classification ID

Model theory (03C99) Consistency and independence results (03E35) Other infinitary logic (03C75)

Related Items

On Certain Elementary Extensions of Models of Set Theory, Barwise: Abstract Model Theory and Generalized Quantifiers, Ideal models and some not so ideal problems in the model theory of L(Q)

Cites Work

• Unnamed Item
• Unnamed Item
• More Lowenheim-Skolem results for admissible sets
• Some model theoretic results for \(\omega\)-logic
• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
• Hanf numbers for fragments of L\(_{\infty \omega}\)
• Generalized Quantifiers and Compact Logic
• Order types of ordinals in models of set theory
• δ-Logics and generalized quantifiers
• A hierarchy of formulas in set theory
• Infinitary analogs of theorems from first order model theory
• Elementary extensions of models of set theory