Pages that link to "Item:Q490665"
From MaRDI portal
The following pages link to Proof-theoretic conservations of weak weak intuitionistic constructive set theories (Q490665):
Displaying 4 items.
- A new model construction by making a detour via intuitionistic theories. I: Operational set theory without choice is \(\Pi_1\)-equivalent to KP (Q476116) (← links)
- Weak theories of concatenation and minimal essentially undecidable theories. An encounter of \(\mathsf{WTC}\) and \(\mathsf{S2S}\) (Q481870) (← links)
- Proof-theoretical analysis: Weak systems of functions and classes (Q911585) (← links)
- (Q3025175) (← links)