On generic extensions without the axiom of choice

DOI10.2307/2273318zbMath0522.03034OpenAlexW2045975809WikidataQ114589075 ScholiaQ114589075MaRDI QIDQ3671959

G. P. Monro

Publication date: 1983

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2273318

zbMATH Keywords

Cohen realsBoolean toposesequivalence relationgeneric extensionKinna-Wagner principleorder principleweak forms of axiom of choiceBoolean prime idealHalpern-Levy modelorder extension principle

Mathematics Subject Classification ID

Axiom of choice and related propositions (03E25) Other aspects of forcing and Boolean-valued models (03E40)

Related Items (7)

Sequential and distributive forcings without choice ⋮ Combinatorial properties and dependent choice in symmetric extensions based on Lévy collapse ⋮ Some aspects of the category of subobjects of constant objects in a topos ⋮ How to have more things by forgetting how to count them ⋮ DEPENDENT CHOICE, PROPERNESS, AND GENERIC ABSOLUTENESS ⋮ The existence of free ultrafilters on ω does not imply the extension of filters on ω to ultrafilters ⋮ Choiceless chain conditions

Cites Work

• Models of ZF-set theory
• Unnamed Item

This page was built for publication: On generic extensions without the axiom of choice