An intuitionistic axiomatisation of real closed fields

Mathematical Logic Quarterly

Volumn 48, Issue 2, 2002, Pages 297-299

  Palmgren, Erik ^a  

^a UPPSALA UNIVERSITY   (Sweden)

Author keywords

Constructive algebra; Ordered field; Proof theory; Real closed field

Indexed keywords

EID: 0036332204     PISSN: 09425616     EISSN: None     Source Type: Journal    
DOI: 10.1002/1521-3870(200202)48:2<297::AID-MALQ297>3.0.CO;2-G     Document Type: Article

References (5)

1. Elementary constructive theory of ordered fields
2. Kreisel's unwinding of Artin's proof