scientific article; zbMATH DE number 3827863

MaRDI QIDQ3674657zbMATH OpenFDO

Authors

Publication date 1982

zbMATH Keywords

equalityprimitive recursionarithmetic of the natural numbersconstructive arithmeticsprimitive recursive universe

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Other constructive mathematics (03F65) Categorical logic, topoi (03G30)

Cited in

(1)

• Cartesian categories with natural numbers object

This page was built for publication:

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