Pages that link to "Item:Q1199547"

The following pages link to Independence of the induction principle and the axiom of choice in the pure calculus of constructions (Q1199547):

Displaying 3 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)
• The compatibility of the minimalist foundation with homotopy type theory (Q6122600) (← links)