Large Models of Countable Height

DOI10.2307/1997333MaRDI QIDQ4049068zbMATH OpenOpenAlexFDO

Authors Harvey M. Friedman

Publication date 1975

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

Mathematics Subject Classification ID

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

Cites work

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

Cited in

(3)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4049068)