Arithmetical conservation results (Q1688961): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2963054981
@@ Property / OpenAlex ID: W2963054981 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.05901
@@ Property / arXiv ID: 1706.05901 / rank @@
+Normal rank
@@ Property / cites work @@
+Goodman's theorem and beyond
@@ Property / cites work: Goodman's theorem and beyond / rank @@
+Normal rank
@@ Property / cites work @@
+Q3679172
@@ Property / cites work: Q3679172 / rank @@
+Normal rank
@@ Property / cites work @@
+About Goodman's theorem
@@ Property / cites work: About Goodman's theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Q4128540
@@ Property / cites work: Q4128540 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3882452
@@ Property / cites work: Q3882452 / rank @@
+Normal rank
@@ Property / cites work @@
+The theory of the Gödel functionals
@@ Property / cites work: The theory of the Gödel functionals / rank @@
+Normal rank
@@ Property / cites work @@
+Relativized realizability in intuitionistic arithmetic of all finite types
+Normal rank
@@ Property / cites work @@
+Proof-theoretical analysis: Weak systems of functions and classes
+Normal rank
@@ Property / cites work @@
+Remarks on Herbrand normal forms and Herbrand realizations
+Normal rank
@@ Property / cites work @@
+A note on Goodman's theorem
@@ Property / cites work: A note on Goodman's theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Q5711891
@@ Property / cites work: Q5711891 / rank @@
+Normal rank
@@ Property / cites work @@
+Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
+Normal rank
@@ Property / cites work @@
+Q5344164
@@ Property / cites work: Q5344164 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3688389
@@ Property / cites work: Q3688389 / rank @@
+Normal rank
@@ Property / cites work @@
+Years of Zermelo’s Axiom of Choice: What was the Problem with It?
+Normal rank
@@ Property / cites work @@
+Q4108298
@@ Property / cites work: Q4108298 / rank @@
+Normal rank
@@ Property / cites work @@
+Extensional realizability
@@ Property / cites work: Extensional realizability / rank @@
+Normal rank
@@ Property / cites work @@
+A general form of relative recursion
@@ Property / cites work: A general form of relative recursion / rank @@
+Normal rank
@@ Property / cites work @@
+Extended bar induction in applicative theories
@@ Property / cites work: Extended bar induction in applicative theories / rank @@
+Normal rank
@@ Property / cites work @@
+TRANSFINITE RECURSION IN HIGHER REVERSE MATHEMATICS
+Normal rank
@@ Property / cites work @@
+Proofs and Computations
@@ Property / cites work: Proofs and Computations / 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 @@
+Q4215635
@@ Property / cites work: Q4215635 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume I
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1688961