Predicativity and Feferman

DOI10.1007/978-3-319-63334-3_15MaRDI QIDQ5214793zbMATH OpenOpenAlexWikidataFDO

Authors Laura Crosilla

Publication date 5 February 2020

Published in Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL http://eprints.whiterose.ac.uk/111839/1/Predicativity%20and%20FefermanLC.pdf

zbMATH Keywords

\(\Gamma_0\)impredicative definitionsinvariancepredicativity given the natural numbersvicious circle principle

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05)

Recommendations

• The predicative conception of the continuum
• Error and predicativity
• Feferman on foundations. Logic, mathematics, philosophy
• A new approach to predicative set theory
• scientific article; zbMATH DE number 896244

Cites work

• A formulation of the simple theory of types
• Consistency of the Continuum Hypothesis. (AM-3)
• David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933
• Eine Grenze Für die Beweisbarkeit der Transfiniten Induktion in der Verzweigten Typenlogik
• Error and predicativity
• Feferman and the Truth
• Hilbert's program relativized; Proof-theoretical and foundational reductions
• Hilbert's Programs: 1917–1922
• History and philosophy of modern mathematics. Proceedings of the conference, University of Minnesota, Minneapolis, MN, USA, May 17--19, 1985
• scientific article; zbMATH DE number 3139751 (Why is no real title available?)
• scientific article; zbMATH DE number 3873291 (Why is no real title available?)
• scientific article; zbMATH DE number 3825796 (Why is no real title available?)
• scientific article; zbMATH DE number 194101 (Why is no real title available?)
• scientific article; zbMATH DE number 3487445 (Why is no real title available?)
• scientific article; zbMATH DE number 3494405 (Why is no real title available?)
• scientific article; zbMATH DE number 3521950 (Why is no real title available?)
• scientific article; zbMATH DE number 1226875 (Why is no real title available?)
• scientific article; zbMATH DE number 1273299 (Why is no real title available?)
• scientific article; zbMATH DE number 1082909 (Why is no real title available?)
• scientific article; zbMATH DE number 1092439 (Why is no real title available?)
• scientific article; zbMATH DE number 1136111 (Why is no real title available?)
• scientific article; zbMATH DE number 1141703 (Why is no real title available?)
• scientific article; zbMATH DE number 1150714 (Why is no real title available?)
• scientific article; zbMATH DE number 3001285 (Why is no real title available?)
• scientific article; zbMATH DE number 2152245 (Why is no real title available?)
• scientific article; zbMATH DE number 3999883 (Why is no real title available?)
• scientific article; zbMATH DE number 1870416 (Why is no real title available?)
• scientific article; zbMATH DE number 1870427 (Why is no real title available?)
• scientific article; zbMATH DE number 1390277 (Why is no real title available?)
• scientific article; zbMATH DE number 2204757 (Why is no real title available?)
• scientific article; zbMATH DE number 3217001 (Why is no real title available?)
• scientific article; zbMATH DE number 3225350 (Why is no real title available?)
• scientific article; zbMATH DE number 3259043 (Why is no real title available?)
• scientific article; zbMATH DE number 3330710 (Why is no real title available?)
• Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
• La prédicativité
• Mathematical thought and its objects
• On arbitrary sets and ZFC
• Partial realizations of Hilbert's program
• Persistent and invariant formulas relative to theories of higher order
• Philosophy of mathematics. An anthology
• Predicative foundations of arithmetic
• Predicative provability in set theory
• Proof theory. 2nd ed
• Proof theory. The first step into impredicativity
• Recursive well-orderings
• Systems of explicit mathematics with non-constructive \(\mu\)-operator. I
• Systems of predicative analysis
• Systems of predicative analysis, II: Representations of ordinals
• The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis
• The formalization of mathematics
• The unfolding of non-finitist arithmetic
• Theories and ordinals in proof theory
• Theory of dependent types and axiom of univalence
• Unfolding finitist arithmetic
• Unfolding schematic systems
• Why ramify?

Cited in

(20)

• Feferman on foundations. Logic, mathematics, philosophy
• Predicativity and constructive mathematics
• Truth and the philosophy of mathematics
• A new approach to predicative set theory
• Error and predicativity
• Weyl reexamined: ``Das Kontinuum 100 years later
• A Peculiar Connection Between the Axiom of Choice and Predicting the Future
• A remark on failures of conglomerability of prevision
• scientific article; zbMATH DE number 1870416 (Why is no real title available?)
• scientific article; zbMATH DE number 1422719 (Why is no real title available?)
• The Limits of Predicativity Revisited
• Why Predicative Sets?
• The predicative conception of the continuum
• Feferman's skepticism about set theory
• PREDICATIVITY THROUGH TRANSFINITE REFLECTION
• PREDICATIVISM AS A FORM OF POTENTIALISM
• POINCARÉ–WEYL’S PREDICATIVITY: GOING BEYOND
• The logic of separation logic: models and proofs
• Exploring predicativity
• Developing continuity theory in a formal predicative set theory

This page was built for publication: Predicativity and Feferman

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