Two model theoretic ideas in independence proofs
From MaRDI portal
Publication:3879227
DOI10.4064/fm-92-2-113-130zbMath0438.03051MaRDI QIDQ3879227
Publication date: 1976
Published in: Fundamenta Mathematicae (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/214946
indiscernibles; compactness theorem; Boolean prime ideal theorem; Halpern-Levy model; Ehrenfeucht-Mostowski theorem; Mostowski's intersection lemma; Mostowski's linearly ordered model; ordering theorem
Related Items
Dedekind-Endlichkeit und Wohlordenbarkeit, Bjarni Jónsson's contributions in algebra, Amorphe Potenzen kompakter Räume