Topological differential fields
From MaRDI portal
Publication:636296
DOI10.1016/j.apal.2009.08.001zbMath1225.03040MaRDI QIDQ636296
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
henselization; derivation; differential fields; Hilbert's seventeenth problem; Ax-Kochen-Ershov theorem; model-companion; model-completion; non-independence property; topological fields
Related Items
Embedded Picard–Vessiot extensions, Topological differential fields and dimension functions, On differential Galois groups of strongly normal extensions, STRONG DENSITY OF DEFINABLE TYPES AND CLOSED ORDERED DIFFERENTIAL FIELDS, SOME PROPERTIES OF ANALYTIC DIFFERENCE VALUED FIELDS, Toward a model theory for transseries, Henselian residually \(p\)-adically closed fields, Definability of types and VC density in differential topological fields, Fields with automorphism and valuation, Linearly ordered sets with only one operator have the amalgamation property
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