Why Predicative Sets?

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

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

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

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• The fine structure of the constructible hierarchy
• Title not available (Why is that?)
• Title not available (Why is that?)
• Systems of predicative analysis
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Weyl's predicative classical mathematics as a logic-enriched type theory
• Title not available (Why is that?)
• Constructibility and decidability versus domain independence and absoluteness
• A derivation of number theory from ancestral theory
• Why Sets?
• The middle ground-ancestral logic
• A homogeneous system for formal logic
• A new approach to predicative set theory
• Formalizing Scientifically Applicable Mathematics in a Definitional Framework
• Title not available (Why is that?)

Cited In (3)

• Exploring predicativity
• Weyl reexamined: ``Das Kontinuum 100 years later
• Title not available (Why is that?)

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)