Studies in constructive mathematics and mathematical logic. Part IX

DOI10.1007/BF02358991MaRDI QIDQ1307304zbMATH OpenFDO

Authors

Publication date 31 October 1999

Published in Journal of Mathematical Sciences (New York) (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF02358991

zbMATH Keywords

Constructive mathematicsMathematical logic

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)

Review text

The articles are translations from the series ``Zap. Nauchn. Semin. POMI 220 (1995; Zbl 0868.00015) and will be reviewed individually.

Cites work

• Function Theory in an Axiom-Free Equation Calculus
• Grundlagen der Mathematik I
• scientific article; zbMATH DE number 3114683 (Why is no real title available?)
• scientific article; zbMATH DE number 3127870 (Why is no real title available?)
• scientific article; zbMATH DE number 3145227 (Why is no real title available?)
• scientific article; zbMATH DE number 3291139 (Why is no real title available?)
• scientific article; zbMATH DE number 3351525 (Why is no real title available?)
• Recursive analysis
• Recursive number theory. A development of recursive arithmetic in a logic-free equation calculus
• The consistency of arithmetics
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES

Cited in

(2)

• Constructive mathematics and mathematical logic. Part X. Transl. from the Russian
• Constructibility of the universal wave function

This page was built for publication: Studies in constructive mathematics and mathematical logic. Part IX

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