Pages that link to "Item:Q448335"
From MaRDI portal
The following pages link to From the weak to the strong existence property (Q448335):
Displaying 8 items.
- Relativized ordinal analysis: the case of power Kripke-Platek set theory (Q392292) (← links)
- Set existence property for intuitionistic theories with dependent choice (Q793723) (← links)
- The scope of Feferman's semi-intuitionistic set theories and his second conjecture (Q1740613) (← links)
- CZF does not have the existence property (Q2637709) (← links)
- Approximating Beppo Levi's \textit{principio di approssimazione} (Q2925330) (← links)
- INDEFINITENESS IN SEMI-INTUITIONISTIC SET THEORIES: ON A CONJECTURE OF FEFERMAN (Q3188340) (← links)
- Ordinal Analysis of Intuitionistic Power and Exponentiation Kripke Platek Set Theory (Q3305554) (← links)
- Constructing the constructible universe constructively (Q6145038) (← links)