Rasiowa-Sikorski sets and forcing

DOI10.1007/978-3-319-69917-2_7MaRDI QIDQ5214735zbMATH OpenOpenAlexFDO

Authors Janusz Czelakowski

Publication date 5 February 2020

Published in Larisa Maksimova on Implication, Interpolation, and Definability (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-69917-2_7

Mathematics Subject Classification ID

Other model constructions (03C30) Model theory of denumerable and separable structures (03C15) Model-theoretic forcing (03C25)

Recommendations

• Forcing for first-order languages from the perspective of Rasiowa-Sikorski lemma
• scientific article; zbMATH DE number 3959397
• First steps towards a formalization of forcing
• THE INDEPENDENCE OF THE CONTINUUM HYPOTHESIS
• Relational and Kleene-Algebraic Methods in Computer Science

Cites work

• scientific article; zbMATH DE number 2184445 (Why is no real title available?)
• scientific article; zbMATH DE number 5296405 (Why is no real title available?)
• scientific article; zbMATH DE number 3773573 (Why is no real title available?)
• scientific article; zbMATH DE number 1016911 (Why is no real title available?)
• scientific article; zbMATH DE number 3300581 (Why is no real title available?)
• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• A proof of the completeness theorem of Grödel
• Forcing for mathematicians
• On the role of the Baire Category Theorem and Dependent Choice in the foundations of logic
• The completeness of the first-order functional calculus

Cited in

(6)

• Helena Rasiowa (1917-1994) Life and Personality
• Radin forcing and its iterations
• Forcing for first-order languages from the perspective of Rasiowa-Sikorski lemma
• On non-wellfounded iterations of the perfect set forcing
• A Large \Prod 1 2 Set, Absolute for Set Forcings
• SET FORCING AND STRONG CONDENSATION FORH(ω₂)

This page was built for publication: Rasiowa-Sikorski sets and forcing

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