Paradox and Potential Infinity |
| |
| Authors: | Charles McCarty |
| |
| Affiliation: | 1. The Logic Program, Indiana University, 026 Sycamore Hall, Bloomington, IN, 47405, USA
|
| |
| 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: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
