Quantifier elimination for quasi-real closed fields

DOI10.5802/CRMATH.169MaRDI QIDQ2019416zbMATH OpenOpenAlexFDO

Authors Mickaël Matusinski, Simon Müller

Publication date 21 April 2021

Published in Comptes Rendus. Mathématique. Académie des Sciences, Paris (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/2005.12681

zbMATH Keywords

real closed fieldvaluationmodel completenessquantifier eliminationmodel companionalgebraically closed field

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Model theory of ordered structures; o-minimality (03C64) Valued fields (12J10) Ordered fields (12J15) Model theory of fields (12L12) Quantifier elimination, model completeness, and related topics (03C10)

Abstract: We prove quantifier elimination for the theory of quasi-real closed fields with a compatible valuation. This unifies the same known results for algebraically closed valued fields and real closed valued fields.

Recommendations

• Quantifier elimination for the theory of algebraically closed valued fields with analytic structure
• Quantifier elimination on some pseudo-algebraically closed valued fields
• scientific article; zbMATH DE number 4158613
• scientific article; zbMATH DE number 3935016
• SEPARABLY CLOSED VALUED FIELDS: QUANTIFIER ELIMINATION

Cites work

• scientific article; zbMATH DE number 3489250 (Why is no real title available?)
• Allgemeine Bewertungstheorie.
• Compatibility of quasi-orderings and valuations: a Baer-Krull theorem for quasi-ordered rings
• Complete theories
• Improving the fundamental theorem of algebra.
• Mathematical logic and model theory. A brief introduction
• Quasi-ordered fields
• Real closed rings. II. Model theory
• The valuation difference rank of a quasi-ordered difference field
• Valuations, orderings, and Milnor \(K\)-theory
• Valued Fields

Cited in

(26)

• scientific article; zbMATH DE number 3935016 (Why is no real title available?)
• Quantifier elimination on real closed fields and differential equations
• Geometric axioms for existentially closed Hasse fields
• Real closed valued fields with analytic structure
• Elimination of quantifiers in algebraic structures
• Relative elimination of quantifiers for Henselian valued fields
• Quantoren-Elimination bei Fastkörpern. (Elimination of quantifiers in nearfields)
• Consequences of neocompact quantifier elimination
• Quantifier elimination on some pseudo-algebraically closed valued fields
• scientific article; zbMATH DE number 3895043 (Why is no real title available?)
• Élimination des quantificateurs dans des paires de corps
• SEPARABLY CLOSED VALUED FIELDS: QUANTIFIER ELIMINATION
• ELIMINATION OF QUANTIFIERS OVER VECTORS IN SOME THEORIES OF VECTOR SPACES
• scientific article; zbMATH DE number 3918343 (Why is no real title available?)
• A Linearly Ordered Ring whose Theory Admits Elimination of Quantifiers is a Real Closed Field
• Quantifier elimination in separably closed fields of finite imperfectness degree
• Quantifier elimination for valued fields equipped with an automorphism
• scientific article; zbMATH DE number 1420851 (Why is no real title available?)
• Generalized Taylor formulae, computations in real closed valued fields and quantifier elimination
• scientific article; zbMATH DE number 4158613 (Why is no real title available?)
• Quantifier elimination in pairs of algebraically closed fields
• Elimination of quantifiers for ordered valuation rings
• scientific article; zbMATH DE number 3914300 (Why is no real title available?)
• Fundamental theorems of analysis in formally real fields
• Quantifier elimination for the theory of algebraically closed valued fields with analytic structure
• scientific article; zbMATH DE number 1302474 (Why is no real title available?)

This page was built for publication: Quantifier elimination for quasi-real closed fields

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