Topological differential fields

DOI10.1016/j.apal.2009.08.001zbMath1225.03040OpenAlexW2090497251MaRDI QIDQ636296

Nicolas Guzy, Françoise Point

Publication date: 26 August 2011

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

Full work available at URL: https://doi.org/10.1016/j.apal.2009.08.001

zbMATH Keywords

henselizationderivationdifferential fieldsHilbert's seventeenth problemAx-Kochen-Ershov theoremmodel-companionmodel-completionnon-independence propertytopological fields

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Differential algebra (12H05) Model theory of fields (12L12)

Related Items

Henselian residually \(p\)-adically closed fields, Distality in valued fields and related structures, Toward a model theory for transseries, Mini-workshop: Topological and differential expansions of o-minimal structures. Abstracts from the mini-workshop held November 27 -- December 3, 2022, On differential Galois groups of strongly normal extensions, Differentially large fields, Fields with automorphism and valuation, Linearly ordered sets with only one operator have the amalgamation property, Topological differential fields and dimension functions, Definability of types and VC density in differential topological fields, SOME PROPERTIES OF ANALYTIC DIFFERENCE VALUED FIELDS, STRONG DENSITY OF DEFINABLE TYPES AND CLOSED ORDERED DIFFERENTIAL FIELDS, Embedded Picard–Vessiot extensions, Topological fields with a generic derivation

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Complete theories
• Elimination of quantifiers in algebraic structures
• Real closed rings. II. Model theory
• Lectures on formally real fields
• On the model companion of the theory of e-fold ordered fields
• Formally \(p\)-adic fields
• Substructures and uniform elimination for p-adic fields
• Topological model theory
• Differential valuations
• A note on the axioms for differentially closed fields of characteristic zero
• Types in valued fields with coefficient maps
• \(H\)-fields and their Liouville extensions
• A course in model theory. An introduction to contemporary mathematical logic. Transl. from the French by Moses Klein
• Liouville closed \(H\)-fields
• Embedding problems over large fields
• Some remarks concerning the theory of ordered differentially closed fields.
• A model complete theory of valued D-fields
• REAL CLOSED RINGS AND ORDERED VALUATION RING
• On places of algebraic function fields.
• Valued Fields withKCommuting Derivations
• First order topological structures and theories
• Definable Sets in Ordered Structures. I
• Infinitary logic and topological homeomorphisms
• The model theory of ordered differential fields
• Cell Decomposition and Dimension Functions in First-Order Topological Structures
• The uniform companion for large differential fields of characteristic 0
• The model theory of m‐ordered differential fields