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, Categorical characterizations of the natural numbers require primitive recursion, Internal categoricity in arithmetic and set theory, Baire categoricity and \(\Sigma_1^0\)-induction