On a universal axiomatization of the real closed fields

DOI10.4064/AP-65-1-95-103zbMATH Open0874.03046OpenAlexW893845480MaRDI QIDQ3123371

Krzysztof Jan Nowak

Publication date: 6 March 1997

Published in: Annales Polonici Mathematici (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.4064/ap-65-1-95-103

zbMATH Keywords

quantifier eliminationaxiomatizationreal closed fields

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Fields related with sums of squares (formally real fields, Pythagorean fields, etc.) (12D15) Model theory of fields (12L12) Quantifier elimination, model completeness, and related topics (03C10)

Related Items (3)

Universell axiomatisierbare Klassen von Fastkörpern. (Universally axiomatizable classes of near-fields) ⋮ The theory of integrally closed domains is not finitely axiomatizable ⋮ An Intuitionistic Axiomatisation of Real Closed Fields

This page was built for publication: On a universal axiomatization of the real closed fields

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