Large Models of Countable Height

DOI10.2307/1997333zbMath0296.02036OpenAlexW4241338391MaRDI QIDQ4049068

Harvey M. Friedman

Publication date: 1975

Full work available at URL: https://doi.org/10.2307/1997333

Mathematics Subject Classification ID

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

Related Items (3)

Pairwise Incompatible Generic Families ⋮ Models of set theory with definable ordinals ⋮ Generic Families and Models of Set Theory with the Axiom of Choice

Cites Work

• The syntax and semantics of infinitary languages
• Infinitary logic and admissible sets

This page was built for publication: Large Models of Countable Height