Groundwork for weak analysis (Q3149983): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.2178/jsl/1190150098
+Normal rank
@@ Property / OpenAlex ID @@
+W2021956337
@@ Property / OpenAlex ID: W2021956337 / rank @@
+Normal rank
@@ 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 @@
+Q4939405
@@ Property / cites work: Q4939405 / rank @@
+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