Forcing for First-Order Languages from the Perspective of Rasiowa–Sikorski Lemma
From MaRDI portal
Publication:4604554
DOI10.3233/FI-2017-1608zbMath1420.03064OpenAlexW2775846165WikidataQ124865334 ScholiaQ124865334MaRDI QIDQ4604554
Publication date: 2 March 2018
Published in: Fundamenta Informaticae (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.3233/fi-2017-1608
Boolean algebrafirst-order logicforcingultrafiltersubstitutional semanticsLindenbaum setRasiowa-Sikorski set
Model-theoretic forcing (03C25) Model theory of denumerable and separable structures (03C15) Other model constructions (03C30)