Two model theoretic ideas in independence proofs

DOI10.4064/FM-92-2-113-130MaRDI QIDQ3879227zbMATH OpenOpenAlexFDO

Authors David Pincus

Publication date 1976

Published in Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/214946

zbMATH Keywords

Boolean prime ideal theoremcompactness theoremEhrenfeucht-Mostowski theoremHalpern-Levy modelindiscerniblesMostowski's intersection lemmaMostowski's linearly ordered modelordering theorem

Mathematics Subject Classification ID

Axiom of choice and related propositions (03E25) Consistency and independence results (03E35)

Cited in

(3)

• Dedekind-Endlichkeit und Wohlordenbarkeit
• Bjarni Jónsson's contributions in algebra
• Amorphe Potenzen kompakter Räume

This page was built for publication: Two model theoretic ideas in independence proofs

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