A note on equality in finite‐type arithmetic (Q5108108): Difference between revisions

@@ Property / cites work @@
+Q4215634
@@ Property / cites work: Q4215634 / rank @@
+Normal rank
@@ Property / cites work @@
+A functional interpretation for nonstandard arithmetic
+Normal rank
@@ Property / cites work @@
+Spector’s Proof of the Consistency of Analysis
@@ Property / cites work: Spector’s Proof of the Consistency of Analysis / 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 @@
+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 @@
+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 @@
+Constructivism in mathematics. An introduction. Volume II
+Normal rank