Topological differential fields
type: Item
instance of: scholarly article
title: Topological differential fields
zbMATH Open document ID: 1225.03040
author: Nicolas Guzy
author: Françoise Point
published in: Annals of Pure and Applied Logic
publication date: 2011-08-26T00:00:00Z
Mathematics Subject Classification ID: 03C60
Mathematics Subject Classification ID: 12H05
Mathematics Subject Classification ID: 12L12
zbMATH DE Number: 5943608
zbMATH Keywords: topological fields
zbMATH Keywords: derivation
zbMATH Keywords: model-companion
zbMATH Keywords: henselization
zbMATH Keywords: non-independence property
zbMATH Keywords: model-completion
zbMATH Keywords: differential fields
zbMATH Keywords: Hilbert's seventeenth problem
zbMATH Keywords: Ax-Kochen-Ershov theorem
MaRDI profile type: Publication
full work available at URL: j.apal.2009.08.001
OpenAlex ID: W2090497251
cites work: \(H\)-fields and their Liouville extensions
cites work: Liouville closed \(H\)-fields
cites work: REAL CLOSED RINGS AND ORDERED VALUATION RING
cites work: Substructures and uniform elimination for p-adic fields
cites work: Types in valued fields with coefficient maps
cites work: Q3988353
cites work: Real closed rings. II. Model theory
cites work: Q3922655
cites work: Topological model theory
cites work: Valued Fields withKCommuting Derivations
cites work: Q4003410
cites work: On the model companion of the theory of e-fold ordered fields
cites work: Q5680222
cites work: Cell Decomposition and Dimension Functions in First-Order Topological Structures
cites work: Elimination of quantifiers in algebraic structures
cites work: Q4872381
cites work: Infinitary logic and topological homeomorphisms
cites work: Some remarks concerning the theory of ordered differentially closed fields.
cites work: A note on the axioms for differentially closed fields of characteristic zero
cites work: First order topological structures and theories
cites work: Definable Sets in Ordered Structures. I
cites work: Embedding problems over large fields
cites work: A course in model theory. An introduction to contemporary mathematical logic. Transl. from the French by Moses Klein
cites work: Lectures on formally real fields
cites work: Q2716044
cites work: On places of algebraic function fields.
cites work: Formally \(p\)-adic fields
cites work: Q4254918
cites work: The model theory of m‐ordered differential fields
cites work: Complete theories
cites work: Differential valuations
cites work: Q5583062
cites work: A model complete theory of valued \(D\)-fields
cites work: Q5796078
cites work: Q3999309
cites work: The model theory of ordered differential fields
cites work: The uniform companion for large differential fields of characteristic 0
cites work: Q3135126
DOI: 10.1016/J.APAL.2009.08.001
description: scientific article; zbMATH DE number 5943608