Pages that link to "Item:Q796524"
From MaRDI portal
The following pages link to Large sets in intuitionistic set theory (Q796524):
Displaying 8 items.
- Certain partial conservativeness properties of intuitionistic set theory with the principle of double complement of sets (Q722147) (← links)
- The lack of definable witnesses and provably recursive functions in intuitionistic set theories (Q1071017) (← links)
- Arithmetic transfinite induction and recursive well-orderings (Q1071019) (← links)
- (Q3338489) (← links)
- (Q4026915) (← links)
- A Large \Prod 1 2 Set, Absolute for Set Forcings (Q4311398) (← links)
- NON-CLASSICAL FOUNDATIONS OF SET THEORY (Q5070473) (← links)
- EXTENSIONAL REALIZABILITY AND CHOICE FOR DEPENDENT TYPES IN INTUITIONISTIC SET THEORY (Q6095977) (← links)