scientific article; zbMATH DE number 3827863

zbMATH Open0523.03049MaRDI QIDQ3674657FDOQ3674657

Authors:

Publication date: 1982

Title of this publication is not available (Why is that?)

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)