History and Philosophy of Logic 8 (2):201-213 (1987)
|Abstract||In this paper some of the history of the development of arithmetic in set theory is traced, particularly with reference to the problem of avoiding the assumption of an infinite set. Although the standard method of singling out a sequence of sets to be the natural numbers goes back to Zermelo, its development was more tortuous than is generally believed. We consider the development in the light of three desiderata for a solution and argue that they can probably not all be satisfied simultaneously|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Gregory H. Moore (1980). Beyond First-Order Logic: The Historical Interplay Between Mathematical Logic and Axiomatic Set Theory. History and Philosophy of Logic 1 (1-2):95-137.
Lorenz Halbeisen & Saharon Shelah (1994). Consequences of Arithmetic for Set Theory. Journal of Symbolic Logic 59 (1):30-40.
Manuel Bremer (2007). Varieties of Finitism. Metaphysica 8 (2):131-148.
Paul Strauss (1991). Arithmetical Set Theory. Studia Logica 50 (2):343 - 350.
J. Michael Dunn (1980). Quantum Mathematics. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1980:512 - 531.
Edward G. Belaga, From Traditional Set Theory – That of Cantor, Hilbert , Gödel, Cohen – to Its Necessary Quantum Extension.
Charles Sayward (2000). Remarks on Peano Arithmetic. Russell 20:27-32.
Richard Pettigrew (2010). The Foundations of Arithmetic in Finite Bounded Zermelo Set Theory. Cahiers du Centre de Logique 17:99-118.
Charles McCarty (2013). Paradox and Potential Infinity. Journal of Philosophical Logic 42 (1):195-219.
Richard Pettigrew (2009). On Interpretations of Bounded Arithmetic and Bounded Set Theory. Notre Dame Journal of Formal Logic 50 (2):141-152.
Added to index2010-08-10
Total downloads16 ( #81,741 of 722,859 )
Recent downloads (6 months)4 ( #20,385 of 722,859 )
How can I increase my downloads?