Quantifier elimination for quasi-real closed fields

DOI10.5802/CRMATH.169zbMATH Open1473.03017arXiv2005.12681OpenAlexW3156405290MaRDI QIDQ2019416FDOQ2019416

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)

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.

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

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

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)

Cites Work

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

Cited In (26)

• 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
• Consequences of neocompact quantifier elimination
• Quantoren-Elimination bei Fastkörpern. (Elimination of quantifiers in nearfields)
• Quantifier elimination on some pseudo-algebraically closed valued fields
• Title not available (Why is that?)
• É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
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Generalized Taylor formulae, computations in real closed valued fields and quantifier elimination
• Title not available (Why is that?)
• Quantifier elimination in pairs of algebraically closed fields
• Elimination of quantifiers for ordered valuation rings
• Title not available (Why is that?)
• Fundamental theorems of analysis in formally real fields
• Quantifier elimination for the theory of algebraically closed valued fields with analytic structure
• Title not available (Why is that?)
• Title not available (Why is that?)

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)