Predicativity and Feferman

DOI10.1007/978-3-319-63334-3_15zbMath1429.03019OpenAlexW2611803175WikidataQ61835216 ScholiaQ61835216MaRDI QIDQ5214793

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

invariancevicious circle principleimpredicative definitions\(\Gamma_0\)predicativity given the natural numbers

Mathematics Subject Classification ID

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

Related Items (5)

POINCARÉ–WEYL’S PREDICATIVITY: GOING BEYOND ⋮ WEYL REEXAMINED: “DAS KONTINUUM” 100 YEARS LATER ⋮ Predicativity and constructive mathematics ⋮ Truth and the philosophy of mathematics ⋮ The Limits of Predicativity Revisited

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Proof theory. The first step into impredicativity
• Proof theory. 2nd ed
• Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
• Systems of explicit mathematics with non-constructive \(\mu\)-operator. I
• Predicative foundations of arithmetic
• The unfolding of non-finitist arithmetic
• Why ramify?
• Theories and ordinals in proof theory
• UNFOLDING FINITIST ARITHMETIC
• On Arbitrary sets andZFC
• Error and Predicativity
• Recursive well-orderings
• David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933
• Partial realizations of Hilbert's program
• Hilbert's program relativized; Proof-theoretical and foundational reductions
• Hilbert's Programs: 1917–1922
• Unfolding Schematic Systems
• Feferman and the Truth
• La prédicativité
• Systems of predicative analysis
• Predicative provability in set theory
• Eine Grenze Für die Beweisbarkeit der Transfiniten Induktion in der Verzweigten Typenlogik
• Systems of predicative analysis, II: Representations of ordinals
• Persistent and invariant formulas relative to theories of higher order
• The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis
• A formulation of the simple theory of types
• The formalization of mathematics
• Consistency of the Continuum Hypothesis. (AM-3)

This page was built for publication: Predicativity and Feferman