An Intuitionistic Axiomatisation of Real Closed Fields

DOI<297::AID-MALQ297>3.0.CO;2-G 10.1002/1521-3870(200202)48:2<297::AID-MALQ297>3.0.CO;2-GzbMath1003.03050OpenAlexW2013281463MaRDI QIDQ4531092

Erik Palmgren

Publication date: 29 May 2002

Full work available at URL: https://doi.org/10.1002/1521-3870(200202)48:2<297::aid-malq297>3.0.co;2-g

zbMATH Keywords

real closed fieldsconstructive realsintuitionistic axiomatisation

Mathematics Subject Classification ID

Fields related with sums of squares (formally real fields, Pythagorean fields, etc.) (12D15) Other constructive mathematics (03F65) Intuitionistic mathematics (03F55)

Related Items (5)

Negation-free and contradiction-free proof of the Steiner-Lehmus theorem ⋮ Constructive completions of ordered sets, groups and fields ⋮ GEOMETRISATION OF FIRST-ORDER LOGIC ⋮ A FORMALIZATION OF KANT’S TRANSCENDENTAL LOGIC ⋮ On the proof theory of infinitary modal logic

Cites Work

• Constructivism in mathematics. An introduction. Volume I
• Unnamed Item

This page was built for publication: An Intuitionistic Axiomatisation of Real Closed Fields