Reverse mathematics and Peano categoricity
From MaRDI portal
Publication:1935867
DOI10.1016/j.apal.2012.10.014zbMath1267.03030MaRDI QIDQ1935867
Stephen G. Simpson, Keita Yokoyama
Publication date: 19 February 2013
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.apal.2012.10.014
RCA; proof theory; inductive system; reverse mathematics; second-order logic; foundations of mathematics; WKL; second-order arithmetic; linear ordering; Dedekind; Peano system; ADS
03B30: Foundations of classical theories (including reverse mathematics)
03F35: Second- and higher-order arithmetic and fragments
Related Items
On the strength of Ramsey's theorem without Σ1‐induction, THE BOREL COMPLEXITY OF ISOMORPHISM FOR O-MINIMAL THEORIES, REVERSE MATHEMATICS, YOUNG DIAGRAMS, AND THE ASCENDING CHAIN CONDITION, Reverse mathematical bounds for the termination theorem, Categorical characterizations of the natural numbers require primitive recursion, Internal categoricity in arithmetic and set theory, Baire categoricity and \(\Sigma_1^0\)-induction