Journal of Philosophical Logic 42 (1):195-219 (2013)
|Abstract||We describe a variety of sets internal to models of intuitionistic set theory that (1) manifest some of the crucial behaviors of potentially infinite sets as described in the foundational literature going back to Aristotle, and (2) provide models for systems of predicative arithmetic. We close with a brief discussion of Church’s Thesis for predicative arithmetic.|
|Keywords||Potential infinity Intuitionism Predicative arithmetic Church’s thesis|
|Through your library||Configure|
Similar books and articles
Anne Newstead (1997). Actual Versus Potential Infinity (BPhil Manuscript.). Dissertation, University of Oxford
John Bowin (2007). Aristotelian Infinity. Oxford Studies in Ancient Philosophy 32:233-250.
Richard Pettigrew (2009). On Interpretations of Bounded Arithmetic and Bounded Set Theory. Notre Dame Journal of Formal Logic 50 (2):141-152.
Brian Clegg (2003). Infinity: The Quest to Think the Unthinkable. Distributed by Publishers Group West.
Leon Horsten (1998). In Defense of Epistemic Arithmetic. Synthese 116 (1):1-25.
Richard Heck (2011). Ramified Frege Arithmetic. Journal of Philosophical Logic 40 (6):715-735.
Charles Parsons (1987). Developing Arithmetic in Set Theory Without Infinity: Some Historical Remarks. History and Philosophy of Logic 8 (2):201-213.
Manuel Bremer (2007). Varieties of Finitism. Metaphysica 8 (2):131-148.
Ernest J. Welti (1987). The Philosophy of Strict Finitism. Theoria 2 (2):575-582.
Wolfgang Achtner (2005). Infinity in Science and Religion. The Creative Role of Thinking About Infinity. Neue Zeitschrift Für Systematische Theologie Und Religionsphilosophie 47 (4).
Alistair H. Lachlan & Robert I. Soare (1994). Models of Arithmetic and Upper Bounds for Arithmetic Sets. Journal of Symbolic Logic 59 (3):977-983.
Øystein Linnebo (2004). Predicative Fragments of Frege Arithmetic. Bulletin of Symbolic Logic 10 (2):153-174.
Michael Potter (1998). Classical Arithmetic as Part of Intuitionistic Arithmetic. Grazer Philosophische Studien 55:127-41.
Added to index2011-12-23
Total downloads34 ( #35,390 of 549,198 )
Recent downloads (6 months)3 ( #25,790 of 549,198 )
How can I increase my downloads?