Analysis in a formal predicative set theory
type: Item
instance of: scholarly article
title: Analysis in a formal predicative set theory
DOI: 10.1007/978-3-030-88853-4_11
author: Nissan Levi
author: Arnon Avron
publication date: 2022-06-24T00:00:00Z
Mathematics Subject Classification ID: 03B70
zbMATH DE Number: 7547740
zbMATH Keywords: foundation of mathematics
zbMATH Keywords: predicativity
zbMATH Keywords: computable set theories
describes a project that uses: Automath
MaRDI profile type: Publication
full work available at URL: 978-3-030-88853-4 11
OpenAlex ID: W3204195821
cites work: A Framework for Formalizing Set Theories Based on the Use of Static Set Terms
cites work: Q3081637
cites work: Formalizing Scientifically Applicable Mathematics in a Definitional Framework
cites work: Applicable Mathematics in a Minimal Computational Theory of Sets
cites work: The middle ground-ancestral logic
cites work: Q2956942
cites work: Systems of predicative analysis
cites work: Foundations of set theory. With the collaboration of Dirk van Dalen. 2nd revised ed
cites work: Q5804274
cites work: A homogeneous system for formal logic
cites work: A derivation of number theory from ancestral theory
cites work: Q4001345
cites work: Q3395521
description: scientific article