Relative elimination of quantifiers for Henselian valued fields

DOI10.1016/0168-0072(91)90058-TzbMATH Open0734.03021OpenAlexW2012472833WikidataQ127580123 ScholiaQ127580123MaRDI QIDQ810501FDOQ810501

Authors: Şerban A. Basarab 

Publication date: 1991

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(91)90058-t

Recommendations

• Eliminating field quantifiers in strongly dependent henselian fields
• scientific article; zbMATH DE number 3935016
• Quantifier elimination on some pseudo-algebraically closed valued fields
• Quantifier elimination for Henselian fields relative to additive and multiplicative congruences
• Elimination of quantifiers for ordered valuation rings
• scientific article; zbMATH DE number 3914300
• Relative decidability and definability in Henselian valued fields
• SEPARABLY CLOSED VALUED FIELDS: QUANTIFIER ELIMINATION
• Quantifier elimination for the theory of algebraically closed valued fields with analytic structure
• Quantifier elimination for quasi-real closed fields

zbMATH Keywords

Henselian valued fieldsHenselian unramified fieldsrelative elimination of quantifiers

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Valued fields (12J10) Model theory of fields (12L12) Quantifier elimination, model completeness, and related topics (03C10)

Cites Work

• Model theory
• Title not available (Why is that?)
• Formally \(p\)-adic fields
• The rationality of the Poincaré series associated to the p-adic points on a variety
• Elementary Properties of Ordered Abelian Groups
• Title not available (Why is that?)
• Title not available (Why is that?)
• Diophantine Problems Over Local Fields I
• Title not available (Why is that?)
• Title not available (Why is that?)
• On definable subsets of p-adic fields
• Title not available (Why is that?)
• Diophantine problems over local fields. III: Decidable fields
• Title not available (Why is that?)
• Title not available (Why is that?)
• Decision procedures for real and p‐adic fields
• Title not available (Why is that?)
• Real closed rings. II. Model theory
• Title not available (Why is that?)
• Elementary embeddings of fields of power series
• On the elementary theory of Hensel fields
• On diophantine equations over the ring of all algebraic integers
• Some model theory for Henselian valued fields
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A model-theoretic transfer theorem for henselian valued fields.

Cited In (30)

• Some supplements to Feferman-Vaught related to the model theory of adeles
• Quantifier elimination for o-minimal structures expanded by a valuational cut
• Relative decidability and definability in Henselian valued fields
• Burden of Henselian valued fields in the Denef-Pas language
• Model theory of adeles. I.
• Some properties of analytic difference valued fields
• Title not available (Why is that?)
• The existential theory of equicharacteristic Henselian valued fields
• An isomorphism theorem for Henselian algebraic extensions of valued fields
• Title not available (Why is that?)
• SEPARABLY CLOSED VALUED FIELDS: QUANTIFIER ELIMINATION
• Cogalois and strongly Cogalois actions.
• Proof of a conjecture of Colliot-Thélène and a Diophantine excision theorem
• Diophantine problems over tamely ramified fields
• Elimination of imaginaries in C((Γ))$\mathbb {C}((\Gamma ))$
• b-MINIMALITY
• A closedness theorem over Henselian fields with analytic structure and its applications
• Burden in Henselian valued fields
• Ax-Kochen-Ershov principles for finitely ramified Henselian fields
• A \(p\)-minimal structure without definable Skolem functions
• Hensel minimality I
• Eliminating field quantifiers in strongly dependent henselian fields
• Quadratic forms in models of \(I\Delta_0 + \Omega_1\). II: Local equivalence
• Mini-workshop: Topological and differential expansions of o-minimal structures. Abstracts from the mini-workshop held November 27 -- December 3, 2022
• Quantifier elimination for Henselian fields relative to additive and multiplicative congruences
• Types in valued fields with coefficient maps
• Quantifier elimination in tame infinite \(p\)-adic fields
• Integration of functions of motivic exponential class, uniform in all non-Archimedean local fields of characteristic zero
• Some results of algebraic geometry over Henselian rank one valued fields
• Title not available (Why is that?)

This page was built for publication: Relative elimination of quantifiers for Henselian valued fields

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