An Intuitionistic Axiomatisation of Real Closed Fields
From MaRDI portal
Publication:4531092
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
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
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
This page was built for publication: An Intuitionistic Axiomatisation of Real Closed Fields