Journal of Philosophical Logic

, Volume 42, Issue 1, pp 195–219

Paradox and Potential Infinity

Article

DOI: 10.1007/s10992-011-9218-y

Cite this article as:
McCarty, C. J Philos Logic (2013) 42: 195. doi:10.1007/s10992-011-9218-y
  • 260 Downloads

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 

Copyright information

© Springer Science+Business Media B.V. 2011

Authors and Affiliations

  1. 1.The Logic ProgramIndiana UniversityBloomingtonUSA

Personalised recommendations