Pages that link to "Item:Q1199547"
From MaRDI portal
The following pages link to Independence of the induction principle and the axiom of choice in the pure calculus of constructions (Q1199547):
Displaying 4 items.
- Consistency of the intensional level of the minimalist foundation with Church's thesis and axiom of choice (Q1756495) (← links)
- On Choice Rules in Dependent Type Theory (Q2988806) (← links)
- A simple model construction for the Calculus of Constructions (Q4647584) (← links)
- The compatibility of the minimalist foundation with homotopy type theory (Q6122600) (← links)
