Analysis in a formal predicative set theory

DOI10.1007/978-3-030-88853-4_11OpenAlexW3204195821MaRDI QIDQ2148788

Arnon Avron, Nissan Levi

Publication date: 24 June 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-88853-4_11

zbMATH Keywords

predicativityfoundation of mathematicscomputable set theories

Mathematics Subject Classification ID

Logic in computer science (03B70)

Related Items (1)

POINCARÉ–WEYL’S PREDICATIVITY: GOING BEYOND

Uses Software

• Automath

Cites Work

• The middle ground-ancestral logic
• Foundations of set theory. With the collaboration of Dirk van Dalen. 2nd revised ed
• Applicable Mathematics in a Minimal Computational Theory of Sets
• Formalizing Scientifically Applicable Mathematics in a Definitional Framework
• Systems of predicative analysis
• A Framework for Formalizing Set Theories Based on the Use of Static Set Terms
• A derivation of number theory from ancestral theory
• A homogeneous system for formal logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Analysis in a formal predicative set theory