Predicativity and constructive mathematics (Q2080590): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-030-84706-7_11
+Normal rank
@@ Property / OpenAlex ID @@
+W4250578329
@@ Property / OpenAlex ID: W4250578329 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3937387
@@ Property / cites work: Q3937387 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3762311
@@ Property / cites work: Q3762311 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof-irrelevance out of excluded-middle and choice in the calculus of constructions
+Normal rank
@@ Property / cites work @@
+Q4075450
@@ Property / cites work: Q4075450 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3679172
@@ Property / cites work: Q3679172 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3340832
@@ Property / cites work: Q3340832 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573965
@@ Property / cites work: Q5573965 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3754620
@@ Property / cites work: Q3754620 / rank @@
+Normal rank
@@ Property / cites work @@
+Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
+Normal rank
@@ Property / cites work @@
+Truth and the philosophy of mathematics
@@ Property / cites work: Truth and the philosophy of mathematics / rank @@
+Normal rank
@@ Property / cites work @@
+The calculus of constructions
@@ Property / cites work: The calculus of constructions / rank @@
+Normal rank
@@ Property / cites work @@
+Inductively generated formal topologies.
@@ Property / cites work: Inductively generated formal topologies. / rank @@
+Normal rank
@@ Property / cites work @@
+Predicativity and Feferman
@@ Property / cites work: Predicativity and Feferman / rank @@
+Normal rank
@@ Property / cites work @@
+THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC
+Normal rank
@@ Property / cites work @@
+A general formulation of simultaneous inductive-recursive definitions in type theory
+Normal rank
@@ Property / cites work @@
+Program Testing and the Meaning Explanations of Intuitionistic Type Theory
+Normal rank
@@ Property / cites work @@
+Induction-recursion and initial algebras.
@@ Property / cites work: Induction-recursion and initial algebras. / rank @@
+Normal rank
@@ Property / cites work @@
+Systems of predicative analysis
@@ Property / cites work: Systems of predicative analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q4128540
@@ Property / cites work: Q4128540 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4674788
@@ Property / cites work: Q4674788 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3081636
@@ Property / cites work: Q3081636 / rank @@
+Normal rank
@@ Property / cites work @@
+The consistency of classical set theory relative to a set theory with intu1tionistic logic
+Normal rank
@@ Property / cites work @@
+Q5302559
@@ Property / cites work: Q5302559 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5513756
@@ Property / cites work: Q5513756 / rank @@
+Normal rank
@@ Property / cites work @@
+La prédicativité
@@ Property / cites work: La prédicativité / rank @@
+Normal rank
@@ Property / cites work @@
+Logical reflection and formalism
@@ Property / cites work: Logical reflection and formalism / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive definition of certain analytic sets of numbers
+Normal rank
@@ Property / cites work @@
+Q4099613
@@ Property / cites work: Q4099613 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3328540
@@ Property / cites work: Q3328540 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3688389
@@ Property / cites work: Q3688389 / rank @@
+Normal rank
@@ Property / cites work @@
+Elementary induction on abstract structures
@@ Property / cites work: Elementary induction on abstract structures / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive set theory
@@ Property / cites work: Constructive set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4726219
@@ Property / cites work: Q4726219 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999860
@@ Property / cites work: Q3999860 / rank @@
+Normal rank
@@ Property / cites work @@
+Type-theoretic interpretation of iterated, strictly positive inductive definitions
+Normal rank
@@ Property / cites work @@
+Q4247308
@@ Property / cites work: Q4247308 / rank @@
+Normal rank
@@ Property / cites work @@
+The constructive Hilbert program and the limits of Martin-Löf type theory
+Normal rank
@@ Property / cites work @@
+Inaccessibility in constructive set theory and type theory
+Normal rank
@@ Property / cites work @@
+Q3481701
@@ Property / cites work: Q3481701 / rank @@
+Normal rank
@@ Property / cites work @@
+Eine Grenze Für die Beweisbarkeit der Transfiniten Induktion in der Verzweigten Typenlogik
+Normal rank
@@ Property / cites work @@
+Q5331407
@@ Property / cites work: Q5331407 / rank @@
+Normal rank
@@ Property / cites work @@
+Partial realizations of Hilbert's program
@@ Property / cites work: Partial realizations of Hilbert's program / rank @@
+Normal rank
@@ Property / cites work @@
+Q4220572
@@ Property / cites work: Q4220572 / rank @@
+Normal rank
@@ Property / cites work @@
+From constructivism to computer science
@@ Property / cites work: From constructivism to computer science / rank @@
+Normal rank
@@ Property / cites work @@
+Homotopy Type Theory: Univalent Foundations of Mathematics
+Normal rank
@@ Property / cites work @@
+Ordinal Numbers and Predicative Set Theory
@@ Property / cites work: Ordinal Numbers and Predicative Set Theory / rank @@
+Normal rank