Formal systems of constructive mathematics

DOI10.2307/2268489zbMATH Open0072.00107OpenAlexW1971389797MaRDI QIDQ3237138FDOQ3237138

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

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

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60)

Cites Work

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

Cited In (9)

• Formalizing Scientifically Applicable Mathematics in a Definitional Framework
• A complete and consistent formal system for sortals
• Title not available (Why is that?)
• A FORMAL SYSTEM FOR EUCLID’SELEMENTS
• Classification of alignments between concepts of formal mathematical systems
• Title not available (Why is that?)
• A complete theory of natural, rational, and real numbers
• Title not available (Why is that?)
• Title not available (Why is that?)

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)