Number-theoretic set theories

DOI10.1305/NDJFL/1093870763MaRDI QIDQ762482zbMATH OpenOpenAlexFDO

Authors Paul Strauss

Publication date 1985

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1093870763

zbMATH Keywords

Lebesgue measureaxiom of choicereal numbersarithmetical set theoryfirst-order Peano arithmeticinfinite inductionnumber-theoretic set theory

Mathematics Subject Classification ID

Other constructive mathematics (03F65) Set theory (03E99)

Recommendations

• Arithmetical set theory
• The foundations of mathematics in the theory of sets
• Rudimentary and arithmetical constructive set theory
• Some Results and Problems in The Modal Set Theory MST
• A complete theory of natural, rational, and real numbers

Cited in

(6)

• On equality and natural numbers in Cantor-Łukasiewicz set theory
• Arithmetical set theory
• The natural numbers in constructive set theory
• KORSELT NUMBERS AND SETS
• A complete theory of natural, rational, and real numbers
• scientific article; zbMATH DE number 3928989 (Why is no real title available?)

This page was built for publication: Number-theoretic set theories

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