Topological differential fields
From MaRDI portal
Publication:636296
DOI10.1016/J.APAL.2009.08.001zbMATH Open1225.03040OpenAlexW2090497251MaRDI QIDQ636296FDOQ636296
Authors: 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
Recommendations
- Geometrical axiomatization for model complete theories of differential topological fields
- Topological fields with a generic derivation
- The model theory of m‐ordered differential fields
- Model completion of Lie differential fields
- Definability of types and VC density in differential topological fields
derivationdifferential fieldsAx-Kochen-Ershov theoremhenselizationHilbert's seventeenth problemmodel-companionmodel-completionnon-independence propertytopological fields
Cites Work
- Title not available (Why is that?)
- 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 course in model theory. An introduction to contemporary mathematical logic. Transl. from the French by Moses Klein
- Embedding problems over large fields
- Title not available (Why is that?)
- Lectures on formally real fields
- First order topological structures and theories
- Definable Sets in Ordered Structures. I
- Formally \(p\)-adic fields
- Complete theories
- On places of algebraic function fields.
- On the model companion of the theory of e-fold ordered fields
- \(H\)-fields and their Liouville extensions
- Title not available (Why is that?)
- Differential valuations
- Liouville closed \(H\)-fields
- A model complete theory of valued \(D\)-fields
- Substructures and uniform elimination for p-adic fields
- Elimination of quantifiers in algebraic structures
- Title not available (Why is that?)
- Real closed rings. II. Model theory
- The model theory of ordered differential fields
- REAL CLOSED RINGS AND ORDERED VALUATION RING
- Cell Decomposition and Dimension Functions in First-Order Topological Structures
- The uniform companion for large differential fields of characteristic 0
- Topological model theory
- A note on the axioms for differentially closed fields of characteristic zero
- Types in valued fields with coefficient maps
- Some remarks concerning the theory of ordered differentially closed fields.
- Valued Fields withKCommuting Derivations
- Title not available (Why is that?)
- Title not available (Why is that?)
- Infinitary logic and topological homeomorphisms
- The model theory of m‐ordered differential fields
- Title not available (Why is that?)
Cited In (18)
- On the model companion of partial differential fields with an automorphism
- Topological fields with a generic derivation
- Fields with automorphism and valuation
- Some properties of analytic difference valued fields
- Differentially large fields
- Toward a model theory for transseries
- Linearly ordered sets with only one operator have the amalgamation property
- Geometrical axiomatization for model complete theories of differential topological fields
- Definability of types and VC density in differential topological fields
- Differential fields
- Henselian residually \(p\)-adically closed fields
- Embedded Picard-Vessiot extensions
- Strong density of definable types and closed ordered differential fields
- Title not available (Why is that?)
- Distality in valued fields and related structures
- 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
- Topological differential fields and dimension functions
This page was built for publication: Topological differential fields
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q636296)
