Pages that link to "Item:Q1080422"
From MaRDI portal
The following pages link to A constructive consistency proof of a fragment of set theory (Q1080422):
Displaying 7 items.
- Fragments of Kripke-Platek set theory and the metamathematics of \(\alpha \)-recursion theory (Q334991) (← links)
- Proof-theoretic conservations of weak weak intuitionistic constructive set theories (Q490665) (← links)
- A general method of axiomatizing fragments (Q1176090) (← links)
- (Q3140642) (← links)
- Fragment of Nonstandard Analysis with a Finitary Consistency Proof (Q3594485) (← links)
- Natural well-orderings (Q3772212) (← links)
- Frege's theorem in a constructive setting (Q4262566) (← links)