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 (14)

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

This page was built for publication: Topological differential fields