PRENEX NORMAL FORM THEOREMS IN SEMI-CLASSICAL ARITHMETIC (Q5015727): Difference between revisions

@@ Property / OpenAlex ID @@
+W3170966718
@@ Property / OpenAlex ID: W3170966718 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4179016
@@ Property / cites work: Q4179016 / rank @@
+Normal rank
@@ Property / cites work @@
+INTERRELATION BETWEEN WEAK FRAGMENTS OF DOUBLE NEGATION SHIFT AND RELATED PRINCIPLES
+Normal rank
@@ Property / cites work @@
+Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
+Normal rank
@@ Property / cites work @@
+Fluctuations, effective learnability and metastability in analysis
+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 @@
+Constructivism in mathematics. An introduction. Volume II
+Normal rank
@@ Property / cites work @@
+Logic and structure
@@ Property / cites work: Logic and structure / rank @@
+Normal rank