POINCARÉ–WEYL’S PREDICATIVITY: GOING BEYOND

DOI10.1017/bsl.2024.2MaRDI QIDQ6204145

Arnon Avron

Publication date: 9 April 2024

Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)

zbMATH Keywords

proof theoryset theoryfoundations of mathematicspredicativity

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Foundations of classical theories (including reverse mathematics) (03B30) History of mathematical logic and foundations (03-03) Axiomatics of classical set theory and its fragments (03E30) Ordinal and cardinal numbers (03E10)

Cites Work

• The unfolding of non-finitist arithmetic
• Predicativity and constructive mathematics
• Analysis in a formal predicative set theory
• Constructibility and decidability versus domain independence and absoluteness
• Absoluteness and the Skolem Paradox
• Weyl's predicative classical mathematics as a logic-enriched type theory
• WEYL REEXAMINED: “DAS KONTINUUM” 100 YEARS LATER
• Reflecting on incompleteness
• Applicable Mathematics in a Minimal Computational Theory of Sets
• The Limits of Predicativity Revisited
• Formalizing Scientifically Applicable Mathematics in a Definitional Framework
• Predicativity and Feferman
• Systems of predicative analysis
• Predicative provability in set theory
• The fine structure of the constructible hierarchy
• The formalization of mathematics
• Mathematics and Logic
• 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