Rudimentary and arithmetical constructive set theory

DOI10.1016/J.APAL.2012.10.004zbMath1270.03129OpenAlexW2081305521MaRDI QIDQ1942037

Peter Aczel

Publication date: 15 March 2013

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2012.10.004

zbMATH Keywords

arithmeticHeyting arithmeticconstructive set theoryrudimentary functionsvon Neumann natural numbersweak axiom systems

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Other constructive mathematics (03F65)

Related Items (2)

Constructive Ackermann's interpretation ⋮ Constructing the constructible universe constructively

This page was built for publication: Rudimentary and arithmetical constructive set theory