Forcing in admissible sets

DOI10.1007/BF01978554MaRDI QIDQ1191174zbMATH OpenFDO

Authors Yuri L. Ershov

Publication date 27 September 1992

Published in Algebra and Logic (Search for Journal in Brave)

zbMATH Keywords

forcingadmissible seturelementsadmissible ordinaladmissible end-extension

Mathematics Subject Classification ID

Other aspects of forcing and Boolean-valued models (03E40) Logic on admissible sets (03C70)

Recommendations

• Inadmissible forcing
• scientific article; zbMATH DE number 4057500
• scientific article; zbMATH DE number 4057496
• New Computational Paradigms
• Forcing and antifoundation

Cites work

• scientific article; zbMATH DE number 4057496 (Why is no real title available?)
• scientific article; zbMATH DE number 3494394 (Why is no real title available?)
• An “admissible” generalization of a theorem on countable ∑11 sets of reals with applications
• THE INDEPENDENCE OF THE CONTINUUM HYPOTHESIS

Cited in

(7)

• Admissibility spectra through \(\omega _ 1\)
• Feedback computability on Cantor space
• Provident sets and rudimentary set forcing
• Each family of subsets of the urelements generates an admissible set
• On the inner constructivizability of admissible sets
• Letter to the editors: Forcing in admissible sets
• Inadmissible forcing

This page was built for publication: Forcing in admissible sets

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