Why Predicative Sets?

DOI10.1007/978-3-030-48006-6_3MaRDI QIDQ5049037zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• A new approach to predicative set theory
• Exploring predicativity
• Predicativity and Feferman
• Weyl’s Predicative Classical Mathematics as a Logic-Enriched Type Theory
• scientific article; zbMATH DE number 896244

Cites work

• scientific article; zbMATH DE number 1641581 (Why is no real title available?)
• scientific article; zbMATH DE number 3861143 (Why is no real title available?)
• scientific article; zbMATH DE number 49341 (Why is no real title available?)
• scientific article; zbMATH DE number 50150 (Why is no real title available?)
• scientific article; zbMATH DE number 50939 (Why is no real title available?)
• scientific article; zbMATH DE number 1226875 (Why is no real title available?)
• scientific article; zbMATH DE number 1273299 (Why is no real title available?)
• scientific article; zbMATH DE number 1150714 (Why is no real title available?)
• scientific article; zbMATH DE number 2168553 (Why is no real title available?)
• scientific article; zbMATH DE number 928934 (Why is no real title available?)
• scientific article; zbMATH DE number 7533333 (Why is no real title available?)
• A derivation of number theory from ancestral theory
• A homogeneous system for formal logic
• A new approach to predicative set theory
• Constructibility and decidability versus domain independence and absoluteness
• Formalizing Scientifically Applicable Mathematics in a Definitional Framework
• Systems of predicative analysis
• The fine structure of the constructible hierarchy
• The middle ground-ancestral logic
• Weyl's predicative classical mathematics as a logic-enriched type theory
• Why Sets?

Cited in

(3)

• Exploring predicativity
• Weyl reexamined: ``Das Kontinuum 100 years later
• scientific article; zbMATH DE number 2109784 (Why is no real title available?)

This page was built for publication: Why Predicative Sets?

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5049037)