Two model theoretic ideas in independence proofs

DOI10.4064/FM-92-2-113-130zbMath0438.03051OpenAlexW816610133MaRDI QIDQ3879227

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

indiscerniblescompactness theoremBoolean prime ideal theoremHalpern-Levy modelEhrenfeucht-Mostowski theoremMostowski's intersection lemmaMostowski's linearly ordered modelordering theorem

Mathematics Subject Classification ID

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

Related Items (3)

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

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