Pages that link to "Item:Q3188340"
From MaRDI portal
The following pages link to INDEFINITENESS IN SEMI-INTUITIONISTIC SET THEORIES: ON A CONJECTURE OF FEFERMAN (Q3188340):
Displaying 8 items.
- The lack of definable witnesses and provably recursive functions in intuitionistic set theories (Q1071017) (← links)
- The scope of Feferman's semi-intuitionistic set theories and his second conjecture (Q1740613) (← links)
- An indeterminate universe of sets (Q2054115) (← links)
- Can we resolve the continuum hypothesis? (Q2054119) (← links)
- Truth and the philosophy of mathematics (Q2080591) (← links)
- (Q3153942) (← links)
- Feferman on Set Theory: Infinity up on Trial (Q5214797) (← links)
- PREDICATIVISM AS A FORM OF POTENTIALISM (Q5880421) (← links)