Arithmetical set theory

DOI10.1007/BF00370192zbMath0739.03028OpenAlexW2084316742MaRDI QIDQ1181380

Paul Strauss

Publication date: 27 June 1992

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00370192

zbMATH Keywords

Peano arithmeticfragment of predicative set theoryinterpretation of set theory in number theorypredicative fragments of mathematics

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Axiomatics of classical set theory and its fragments (03E30)

Cites Work

• Number-theoretic set theories
• Unnamed Item

This page was built for publication: Arithmetical set theory