Exploring predicativity

DOI10.1142/9789813270947_0003MaRDI QIDQ6600647zbMATH OpenFDO

Authors Laura Crosilla

Publication date 9 September 2024

Full work available at URL https://doi.org/10.1142/9789813270947_0003

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Type theory (03B38)

Recommendations

• Predicativity and Feferman
• Why Predicative Sets?
• Predicativity and constructive mathematics
• The predicative conception of the continuum
• A new approach to predicative set theory

Cited in

(12)

• The Limits of Predicativity Revisited
• Why Predicative Sets?
• On the Weihrauch degree of the additive Ramsey theorem
• Hilbert's tenth problem for term algebras with a substitution operator
• Complemented subsets and Boolean-valued, partial functions
• Defining long words succinctly in FO and MSO
• On the first-order parts of problems in the Weihrauch degrees
• Algorithmically random series
• Ideal presentations and numberings of some classes of effective quasi-Polish spaces
• Lower bounds on () and other properties of -register machines
• Reifying dynamical algebra: maximal ideals in countable rings, constructively
• Developing continuity theory in a formal predicative set theory

This page was built for publication: Exploring predicativity

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6600647)