Feferman’s Skepticism About Set Theory

DOI10.1007/978-3-319-63334-3_20zbMath1429.03040OpenAlexW2794967327MaRDI QIDQ5214798

Charles Parsons

Publication date: 5 February 2020

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

Full work available at URL: https://doi.org/10.1007/978-3-319-63334-3_20

zbMATH Keywords

proof theoryset theorylogicpredicativityskepticism

Mathematics Subject Classification ID

Biographies, obituaries, personalia, bibliographies (01A70) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03) Set theory (03E99) Proof theory and constructive mathematics (03F99)

Cites Work

• Unnamed Item
• Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
• Does reductive proof theory have a viable rationale?
• Does Mathematics Need New Axioms?
• A Fortuitous Year with Leon Henkin
• Hilbert's program relativized; Proof-theoretical and foundational reductions
• Parsons and I: Sympathies and Differences
• Some applications of the notions of forcing and generic sets
• Systems of predicative analysis
• Predicative provability in set theory
• Does Mathematics Need New Axioms?

This page was built for publication: Feferman’s Skepticism About Set Theory