An Intuitionistic Definition of Classical Natural Numbers

DOI10.2307/2042191MaRDI QIDQ3863885zbMATH OpenOpenAlexFDO

Authors Vladimir Lifschitz

Publication date 1979

Full work available at URL https://doi.org/10.2307/2042191

zbMATH Keywords

classical second-order arithmetictheory of species

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55)

This page was built for publication: An Intuitionistic Definition of Classical Natural Numbers

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