scientific article; zbMATH DE number 3979055

MaRDI QIDQ3744159zbMATH OpenFDO

Authors Vladimir Lifschitz

Publication date 1985

zbMATH Keywords

constructive arithmeticintuitionistic arithmetic

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Metamathematics of constructive systems (03F50)

Recommendations

• Some results using natural numbers
• Natural numbers and infinitesimals

Cited in

(8)

• To be or not to be constructive, that is not the question
• scientific article; zbMATH DE number 3959422 (Why is no real title available?)
• scientific article; zbMATH DE number 4031681 (Why is no real title available?)
• scientific article; zbMATH DE number 738893 (Why is no real title available?)
• A complete theory of natural, rational, and real numbers
• A functional interpretation for nonstandard arithmetic
• Constructive formalization of the Tennenbaum theorem and its applications
• Proofs and programs: A naïve approach to program extraction

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 Q3744159)