predicativity

Poincaré, Russell and Weyl's foundational analysis of predicativity has paved the way for a variety of logical analyses of the notion.

Set Theory: Constructive and Intuitionistic ZF Crosilla, Laura 2009

For example, a proof-theoretic analysis may contribute to establish if a certain theory complies with a given mathematical framework (e.g., predicativity, finitism, etc.).

Set Theory: Constructive and Intuitionistic ZF Crosilla, Laura 2009

Also, the basic ideas of predicativity emerged in the discussion between Poincaré, the leading mathematician of the time, and Russell.

Paradoxes and Contemporary Logic Cantini, Andrea 2007

This is a mathematically fruitful concern (keyword “predicativity”) and it will reappear later in the study of NF (and in ZF too, of course) but it is not this first form that gives rise to the axiomatisation of NF.

Quine's New Foundations Forster, Thomas 2006

As a "warm up" the classical analysis of Gentzen is presented in a more modern terminology to proceed with explaining and proving the famous result by Feferman and Schütte on the limits of predicativity.

AvaxHome RSS: 2008

We also note that in the case of inaccessible set axioms, their addition to a subsystem of CZF with no set induction produces a theory of strength Γ0, the ordinal singled out by Feferman and Schütte as the limit of strict predicativity

Set Theory: Constructive and Intuitionistic ZF Crosilla, Laura 2009