Real and ideal in constructive mathematics

DOI10.1007/978-94-007-4435-6_4MaRDI QIDQ5253924zbMATH OpenOpenAlexFDO

Authors Giovanni Sambin

Publication date 5 June 2015

Published in Epistemology versus Ontology (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-94-007-4435-6_4

zbMATH Keywords

constructive mathematics

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Constructive and recursive analysis (03F60) Other constructive mathematics (03F65)

Recommendations

• Constructive Mathematics and Functional Programming (Abstract)
• Constructive Mathematics in Theory and Programming Practice
• History and philosophy of constructive type theory
• scientific article; zbMATH DE number 3910392
• scientific article; zbMATH DE number 1302065

Cited in

(6)

• Non-deterministic inductive definitions
• A universal Krull-Lindenbaum theorem
• Killing ideals and adding reals
• Higher order functions and Brouwer's thesis
• Dynamics in Foundations: What Does It Mean in the Practice of Mathematics?
• The basic Zariski topology

This page was built for publication: Real and ideal in constructive mathematics

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