Pages that link to "Item:Q4010364"
From MaRDI portal
The following pages link to Reals and forcing with an elementary topos (Q4010364):
Displaying 6 items.
- A reduction theorem for the Kripke-Joyal semantics: forcing over an arbitrary category can always be replaced by forcing over a complete Heyting algebra (Q382416) (← links)
- Forcing and classifying topoi (Q3320376) (← links)
- Freyd’s models for the independence of the axiom of choice (Q4205438) (← links)
- A combinatorial forcing for coding the universe by a real when there are no sharps (Q4836041) (← links)
- Special subsets of the reals and tree forcing notions (Q5291945) (← links)
- Real numbers in the topos of sheaves over the category of filters (Q5939909) (← links)