We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
A few more dissimilarities between second-order arithmetic and set theory.
- Authors
Fujimoto, Kentaro
- Abstract
Second-order arithmetic and class theory are second-order theories of mathematical subjects of foundational importance, namely, arithmetic and set theory. Despite the similarity in appearance, there turned out to be significant mathematical dissimilarities between them. The present paper studies various principles in class theory, from such a comparative perspective between second-order arithmetic and class theory, and presents a few new dissimilarities between them.
- Subjects
SET theory; REVERSE mathematics; ARITHMETIC
- Publication
Archive for Mathematical Logic, 2023, Vol 62, Issue 1/2, p147
- ISSN
0933-5846
- Publication type
Article
- DOI
10.1007/s00153-022-00829-3