Rasiowa–Sikorski Sets and Forcing

DOI10.1007/978-3-319-69917-2_7zbMath1429.03136OpenAlexW2794144101MaRDI QIDQ5214735

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

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

Related Items (1)

Helena Rasiowa (1917-1994) Life and Personality

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the role of the Baire Category Theorem and Dependent Choice in the foundations of logic
• Forcing for Mathematicians
• The completeness of the first-order functional calculus
• A proof of the completeness theorem of Grödel

This page was built for publication: Rasiowa–Sikorski Sets and Forcing