Developing continuity theory in a formal predicative set theory

DOI10.1093/JIGPAL/JZAG034MaRDI QIDQ7304898zbMATH OpenFDO

Authors Arnon Avron, Nissan Levi

Publication date 28 July 2026

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1093/JIGPAL/JZAG034

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Cites work

• A derivation of number theory from ancestral theory
• A Framework for Formalizing Set Theories Based on the Use of Static Set Terms
• A homogeneous system for formal logic
• A new approach to predicative set theory
• Analysis in a formal predicative set theory
• Applicable mathematics in a minimal computational theory of sets
• Constructibility and decidability versus domain independence and absoluteness
• Das Kontinuum. Kritische Untersuchungen über die Grundlagen der Analysis.
• Exploring predicativity
• Formalizing Scientifically Applicable Mathematics in a Definitional Framework
• scientific article; zbMATH DE number 3861143 (Why is no real title available?)
• scientific article; zbMATH DE number 50939 (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 839556 (Why is no real title available?)
• scientific article; zbMATH DE number 3217001 (Why is no real title available?)
• scientific article; zbMATH DE number 3065102 (Why is no real title available?)
• La logique de l'infini.
• Les mathématiques et la logique.
• Mathematical Knowledge Management
• Mathematical logic as based on the theory of types.
• POINCARÉ–WEYL’S PREDICATIVITY: GOING BEYOND
• Predicativity and Feferman
• Principia Mathematica. Vol I. \(2^{\text{nd}}\) ed.
• Reflecting on incompleteness
• Subsystems of second order arithmetic
• Systems of predicative analysis
• The adventure of reason. Interplay between philosophy of mathematics and mathematical logic, 1900--1940
• The middle ground-ancestral logic
• The unfolding of non-finitist arithmetic
• Weyl reexamined: ``Das Kontinuum 100 years later

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

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