WEYL REEXAMINED: “DAS KONTINUUM” 100 YEARS LATER

DOI10.1017/bsl.2020.23zbMath1458.03006OpenAlexW3034697230MaRDI QIDQ3386608

Arnon Avron

Publication date: 5 January 2021

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

Full work available at URL: https://doi.org/10.1017/bsl.2020.23

zbMATH Keywords

proofclassical logicformalizationHermann Weylset-theoryDas Kontinuum

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) 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) Type theory (03B38)

Related Items (1)

POINCARÉ–WEYL’S PREDICATIVITY: GOING BEYOND

Cites Work

• Classical predicative logic-enriched type theories
• Set theory. An introduction to independence proofs
• The middle ground-ancestral logic
• Constructibility and decidability versus domain independence and absoluteness
• Eine Erinnerung an Hermann Weyl. (A remembrance to Hermann Weyl)
• Weyl's predicative classical mathematics as a logic-enriched type theory
• Notes on the First Chapter of The Continuum: Intension, Extension, and Arithmetism
• Weyl’s Predicative Classical Mathematics as a Logic-Enriched Type Theory
• Why Predicative Sets?
• Formalizing Scientifically Applicable Mathematics in a Definitional Framework
• Predicativity and Feferman
• Systems of predicative analysis
• A derivation of number theory from ancestral theory
• Mathematics and Logic
• A homogeneous system for formal 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
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: WEYL REEXAMINED: “DAS KONTINUUM” 100 YEARS LATER