Paradox and potential infinity
From MaRDI portal
Publication:1947035
DOI10.1007/s10992-011-9218-yzbMath1277.03059MaRDI QIDQ1947035
Publication date: 11 April 2013
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10992-011-9218-y
Church's thesis; intuitionism; intuitionistic set theory; potential infinity; predicative arithmetic
03A05: Philosophical and critical aspects of logic and foundations
03F30: First-order arithmetic and fragments
03F55: Intuitionistic mathematics
Cites Work