Number-theoretic set theories

DOI10.1305/NDJFL/1093870763zbMATH Open0558.03025OpenAlexW2063815661MaRDI QIDQ762482FDOQ762482

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

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

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)

Cited In (6)

• On equality and natural numbers in Cantor-Łukasiewicz set theory
• The natural numbers in constructive set theory
• KORSELT NUMBERS AND SETS
• A complete theory of natural, rational, and real numbers
• Arithmetical set theory
• Title not available (Why is that?)

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)