Elementary extensions of Levy's model of \(A^-_2\)

DOI10.1007/BF00660900zbMath0344.02045OpenAlexW2088019324MaRDI QIDQ1232407

Wojciech Guzicki

Publication date: 1974

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00660900

Mathematics Subject Classification ID

Consistency and independence results (03E35) Other classical first-order model theory (03C68)

Cites Work

• Unnamed Item
• A model of set-theory in which every set of reals is Lebesgue measurable
• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
• Models of ZF-set theory
• On ω-models which are not β-models
• Forcing and generalized quantifiers

This page was built for publication: Elementary extensions of Levy's model of \(A^-_2\)