Pages that link to "Item:Q5945010"
From MaRDI portal
The following pages link to The strength of Martin-Löf type theory with a superuniverse. II (Q5945010):
Displaying 8 items.
- Universes over Frege structures (Q1861539) (← links)
- Wellordering proofs for metapredicative Mahlo (Q4532614) (← links)
- (Q5009707) (← links)
- Well-Ordering Principles in Proof Theory and Reverse Mathematics (Q5055281) (← links)
- Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice (Q5060191) (← links)
- Proof Theory of Constructive Systems: Inductive Types and Univalence (Q5214792) (← links)
- Dependent products and 1-inaccessible universes (Q5854448) (← links)
- From type theory to setoids and back (Q5889302) (← links)
