Pages that link to "Item:Q4205438"
From MaRDI portal
The following pages link to Freyd’s models for the independence of the axiom of choice (Q4205438):
Displaying 15 items.
- What do Freyd's toposes classify? (Q382418) (← links)
- A new model for intuitionistic analysis (Q750439) (← links)
- The associated sheaf functor theorem in algebraic set theory (Q958487) (← links)
- Aspects of predicative algebraic set theory. I: Exact completion (Q958492) (← links)
- Complete topoi representing models of set theory (Q1192330) (← links)
- A characterization of permutation models in terms of forcing (Q1430902) (← links)
- A modal logic of consistency (Q1904094) (← links)
- On freedom and independence in hypergraphs of models of theories (Q2285193) (← links)
- (Q3059443) (← links)
- Model theory without choice? Categoricity (Q3630571) (← links)
- Exact functors, local connectedness and measurable cardinals (Q3759010) (← links)
- Reals and forcing with an elementary topos (Q4010364) (← links)
- REALIZING REALIZABILITY RESULTS WITH CLASSICAL CONSTRUCTIONS (Q5215936) (← links)
- (Q5518351) (← links)
- Boolean-valued models of set theory with urelements (Q6589314) (← links)