Predicativity and Feferman
From MaRDI portal
Publication:5214793
DOI10.1007/978-3-319-63334-3_15zbMath1429.03019OpenAlexW2611803175WikidataQ61835216 ScholiaQ61835216MaRDI QIDQ5214793
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
invariancevicious circle principleimpredicative definitions\(\Gamma_0\)predicativity given the natural numbers
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