Relative elimination of quantifiers for Henselian valued fields
From MaRDI portal
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
Cites work
- scientific article; zbMATH DE number 3979199 (Why is no real title available?)
- scientific article; zbMATH DE number 3659571 (Why is no real title available?)
- scientific article; zbMATH DE number 3710153 (Why is no real title available?)
- scientific article; zbMATH DE number 49362 (Why is no real title available?)
- scientific article; zbMATH DE number 3462059 (Why is no real title available?)
- scientific article; zbMATH DE number 3499907 (Why is no real title available?)
- scientific article; zbMATH DE number 3443643 (Why is no real title available?)
- scientific article; zbMATH DE number 3430642 (Why is no real title available?)
- scientific article; zbMATH DE number 3246881 (Why is no real title available?)
- scientific article; zbMATH DE number 3256619 (Why is no real title available?)
- scientific article; zbMATH DE number 3307642 (Why is no real title available?)
- scientific article; zbMATH DE number 3346493 (Why is no real title available?)
- scientific article; zbMATH DE number 3377353 (Why is no real title available?)
- scientific article; zbMATH DE number 3382339 (Why is no real title available?)
- A model-theoretic transfer theorem for henselian valued fields.
- Decision procedures for real and p‐adic fields
- Diophantine Problems Over Local Fields I
- Diophantine problems over local fields. III: Decidable fields
- Elementary Properties of Ordered Abelian Groups
- Elementary embeddings of fields of power series
- Formally p-adic fields
- Model theory
- On definable subsets of p-adic fields
- On diophantine equations over the ring of all algebraic integers
- On the elementary theory of Hensel fields
- Real closed rings. II. Model theory
- Some model theory for Henselian valued fields
- The rationality of the Poincaré series associated to the p-adic points on a variety
Cited in
(30)- scientific article; zbMATH DE number 3935016 (Why is no real title available?)
- 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
- scientific article; zbMATH DE number 57844 (Why is no real title available?)
- The existential theory of equicharacteristic Henselian valued fields
- An isomorphism theorem for Henselian algebraic extensions of valued fields
- scientific article; zbMATH DE number 4089681 (Why is no real title available?)
- SEPARABLY CLOSED VALUED FIELDS: QUANTIFIER ELIMINATION
- Proof of a conjecture of Colliot-Thélène and a Diophantine excision theorem
- Cogalois and strongly Cogalois actions.
- Diophantine problems over tamely ramified fields
- b-MINIMALITY
- Elimination of imaginaries in C((Γ))$\mathbb {C}((\Gamma ))$
- 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
- Some results of algebraic geometry over Henselian rank one valued fields
- 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
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)
