POINCARÉ–WEYL’S PREDICATIVITY: GOING BEYOND
-
Published:2024-01-19
Issue:1
Volume:30
Page:41-91
-
ISSN:1079-8986
-
Container-title:The Bulletin of Symbolic Logic
-
language:en
-
Short-container-title:Bull. symb. log
Abstract
AbstractOn the basis of Poincaré and Weyl’s view of predicativity as invariance, we develop an extensive framework for predicative, type-free first-order set theory in which
$\Gamma _0$
and much bigger ordinals can be defined as von Neumann ordinals. This refutes the accepted view of
$\Gamma _0$
as the “limit of predicativity”.
Publisher
Cambridge University Press (CUP)