Formal systems of constructive mathematics

DOI10.2307/2268489MaRDI QIDQ3237138zbMATH OpenOpenAlexFDO

Authors Martin Löb

Publication date 1956

Published in Journal of Symbolic Logic (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60)

Recommendations

• Formalising foundations of mathematics
• scientific article; zbMATH DE number 218497
• scientific article; zbMATH DE number 3895060
• scientific article; zbMATH DE number 738893
• On Uniformly Constructive and Semiconstructive Formal Systems
• Constructive Mathematics
• scientific article; zbMATH DE number 3941526
• scientific article; zbMATH DE number 3069866
• scientific article; zbMATH DE number 4002093
• Strict canonical constructive systems

Cites work

• Arithmetical problems and recursively enumerable predicates
• Concatenation as basis for a complete system of arithmetic
• Formal Reductions of the General Combinatorial Decision Problem

Cited in

(9)

• A complete and consistent formal system for sortals
• Formalizing Scientifically Applicable Mathematics in a Definitional Framework
• scientific article; zbMATH DE number 4033140 (Why is no real title available?)
• A FORMAL SYSTEM FOR EUCLID’SELEMENTS
• Classification of alignments between concepts of formal mathematical systems
• scientific article; zbMATH DE number 4145898 (Why is no real title available?)
• A complete theory of natural, rational, and real numbers
• scientific article; zbMATH DE number 3937175 (Why is no real title available?)
• scientific article; zbMATH DE number 5298331 (Why is no real title available?)

This page was built for publication: Formal systems of constructive mathematics

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