Independence of the induction principle and the axiom of choice in the pure calculus of constructions (Q1199547): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/0304-3975(92)90021-7
+Normal rank
@@ Property / OpenAlex ID @@
+W1997723626
@@ Property / OpenAlex ID: W1997723626 / rank @@
+Normal rank
@@ Property / cites work @@
+The calculus of constructions
@@ Property / cites work: The calculus of constructions / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692468
@@ Property / cites work: Q4692468 / rank @@
+Normal rank
@@ Property / cites work @@
+Dependence and independence results for (impredicative) calculi of dependent types
+Normal rank
@@ Property / cites work @@
+Q5286647
@@ Property / cites work: Q5286647 / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
+Normal rank
@@ Property / cites work @@
+Extensional PERs
@@ Property / cites work: Extensional PERs / rank @@
+Normal rank