We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.
Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)
Article purchase
Temporarily unavailable
References
BIBLIOGRAPHY
Burgess, J. (2005). Fixing Frege. Princeton Monographs in Philosophy. Princeton, NJ: Princeton University Press.CrossRefGoogle Scholar
Feferman, S., & Vaught, R. L. (1959). The first order properties of products of algebraic systems. Fundamenta Mathematicae, 47, 57–103.CrossRefGoogle Scholar
Linnebo, Ø. (2004). Predicative fragments of Frege arithmetic. Bulletin of Symbolic Logic, 10(2), 153–174.CrossRefGoogle Scholar
Nelson, E. (1986). Predicative Arithmetic. Princeton, NJ: Princeton University Press.CrossRefGoogle Scholar
Smoryński, C. (1991). Logical Number Theory I, an Introduction. Universitext. New York, NY: Springer.Google Scholar
Švejdar, V. (2007). An interpretation of Robinson’s Arithmetic in Grzegorczyk’s weaker variant. Fundamenta Informaticae, 81, 347–354.Google Scholar
Visser, A.. (2009). Cardinal arithmetic in the style of Baron von Münchhausen. Review of Symbolic Logic, 2(3), 570–589. doi: 10.1017/S1755020309090261.CrossRefGoogle Scholar