Why Predicative Sets?

DOI10.1007/978-3-030-48006-6_3OpenAlexW3028323479MaRDI QIDQ5049037

Arnon Avron

Publication date: 9 November 2022

Published in: Fields of Logic and Computation III (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-48006-6_3

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of computing (68Qxx)

Related Items (1)

WEYL REEXAMINED: “DAS KONTINUUM” 100 YEARS LATER

Cites Work

• The middle ground-ancestral logic
• Constructibility and decidability versus domain independence and absoluteness
• Weyl's predicative classical mathematics as a logic-enriched type theory
• Formalizing Scientifically Applicable Mathematics in a Definitional Framework
• Systems of predicative analysis
• Why Sets?
• The fine structure of the constructible hierarchy
• A derivation of number theory from ancestral theory
• 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

This page was built for publication: Why Predicative Sets?