scientific article; zbMATH DE number 3979055

zbMATH Open0606.03017MaRDI QIDQ3744159FDOQ3744159

Authors: Vladimir Lifschitz 

Publication date: 1985

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

Recommendations

• Some results using natural numbers
• Natural numbers and infinitesimals

zbMATH Keywords

intuitionistic arithmeticconstructive arithmetic

Mathematics Subject Classification ID

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

Cited In (7)

• Title not available (Why is that?)
• A functional interpretation for nonstandard arithmetic
• To be or not to be constructive, that is not the question
• Title not available (Why is that?)
• A complete theory of natural, rational, and real numbers
• Proofs and programs: A naïve approach to program extraction
• Title not available (Why is that?)

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)