Groundwork for weak analysis (Q3149983): Difference between revisions

@@ Property / cites work @@
+Q4220572
@@ Property / cites work: Q4220572 / rank @@
+Normal rank
@@ Property / cites work @@
+On End‐Extensions of Models of ¬exp
@@ Property / cites work: On End‐Extensions of Models of ¬exp / rank @@
+Normal rank
@@ Property / cites work @@
+A feasible theory for analysis
@@ Property / cites work: A feasible theory for analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Asymmetric Interpretations for Bounded Theories
@@ Property / cites work: Asymmetric Interpretations for Bounded Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematically strong subsystems of analysis with low rate of growth of provably recursive functionals
+Normal rank
@@ Property / cites work @@
+Q5528627
@@ Property / cites work: Q5528627 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4001935
@@ Property / cites work: Q4001935 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic disguises of \(\Sigma ^ 0_ 1\) induction
+Normal rank
@@ Property / cites work @@
+Q5286672
@@ Property / cites work: Q5286672 / rank @@
+Normal rank
@@ Property / cites work @@
+Some More Conservation Results on the Baire Category Theorem
+Normal rank
@@ Property / cites work @@
+Factorization of polynomials and \(\Sigma ^ 0_ 1\) induction
+Normal rank
@@ Property / cites work @@
+Q4726219
@@ Property / cites work: Q4726219 / rank @@
+Normal rank