A few more dissimilarities between second-order arithmetic and set theory

Archive for Mathematical Logic 62 (1):147-206 (2022)
  Copy   BIBTEX

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.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,449

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Ordinal arithmetic and $\Sigma_{1}$ -elementarity.Timothy J. Carlson - 1999 - Archive for Mathematical Logic 38 (7):449-460.
Quantum Mathematics.J. Michael Dunn - 1980 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1980:512 - 531.
The Recursively Mahlo Property in Second Order Arithmetic.Michael Rathjen - 1996 - Mathematical Logic Quarterly 42 (1):59-66.
An ordinal analysis of parameter free Π12-comprehension.Michael Rathjen - 2005 - Archive for Mathematical Logic 44 (3):263-362.
Representations and the Foundations of Mathematics.Sam Sanders - 2022 - Notre Dame Journal of Formal Logic 63 (1):1-28.
Conservative theories of classical truth.Volker Halbach - 1999 - Studia Logica 62 (3):353-370.

Analytics

Added to PP
2022-07-11

Downloads
31 (#763,697)

6 months
4 (#864,415)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Kentaro Fujimoto
University of Bristol

References found in this work

The Higher Infinite.Akihiro Kanamori - 2000 - Studia Logica 65 (3):443-446.
Admissible Sets and Structures.Jon Barwise - 1978 - Studia Logica 37 (3):297-299.
Classes and truths in set theory.Kentaro Fujimoto - 2012 - Annals of Pure and Applied Logic 163 (11):1484-1523.
Set Theory: An Introduction to Large Cardinals.F. R. Drake & T. J. Jech - 1976 - British Journal for the Philosophy of Science 27 (2):187-191.

View all 16 references / Add more references