Rasiowa-Sikorski sets and forcing

DOI10.1007/978-3-319-69917-2_7zbMATH Open1429.03136OpenAlexW2794144101MaRDI QIDQ5214735FDOQ5214735

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

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

Mathematics Subject Classification ID

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

Cites Work

• The completeness of the first-order functional calculus
• On the role of the Baire Category Theorem and Dependent Choice in the foundations of logic
• Title not available (Why is that?)
• A proof of the completeness theorem of Grödel
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Forcing for Mathematicians
• Title not available (Why is that?)

Cited In (5)

• Radin forcing and its iterations
• Helena Rasiowa (1917-1994) Life and Personality
• A Large \Prod 1 2 Set, Absolute for Set Forcings
• On non-wellfounded iterations of the perfect set forcing
• 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)