Definability of types and VC density in differential topological fields

DOI10.1007/s00153-017-0607-yOpenAlexW2778984996MaRDI QIDQ1756490

Françoise Point

Publication date: 14 January 2019

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-017-0607-y

zbMATH Keywords

definable typesVC-densitytopological differential fields

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Classification theory, stability, and related concepts in model theory (03C45) Topological fields (12Jxx)

Related Items (3)

Mini-workshop: Topological and differential expansions of o-minimal structures. Abstracts from the mini-workshop held November 27 -- December 3, 2022 ⋮ Definability of types and VC density in differential topological fields ⋮ Topological fields with a generic derivation

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Pseudo real closed fields, pseudo \(p\)-adically closed fields and \(\mathrm{NTP}_{2}\)
• Vapnik-Chervonenkis density in some theories without the independence property. II
• Theories without the tree property of the second kind
• Definable types in the theory of closed ordered differential fields
• Topological differential fields
• On differentially closed ordered fields
• On the model companion of the theory of e-fold ordered fields
• Types in valued fields with coefficient maps
• Definability of types and VC density in differential topological fields
• Embedding problems over large fields
• Imaginaries in real closed valued fields
• Some remarks concerning the theory of ordered differentially closed fields.
• Maximal fields with valuations
• Vapnik-Chervonenkis density in some theories without the independence property, I
• Definable types in algebraically closed valued fields
• On uniform definability of types over finite sets
• Algebraic theories with definable Skolem functions
• The model theory of ordered differential fields
• Definable types in -minimal theories
• Definability of types, and pairs of O-minimal structures
• Embedded Picard–Vessiot extensions
• Cell Decomposition and Dimension Functions in First-Order Topological Structures
• Topological differential fields and dimension functions
• Some applications of ordinal dimensions to the theory of differentially closed fields
• Imaginaries and definable types in algebraically closed valued fields
• STRONG DENSITY OF DEFINABLE TYPES AND CLOSED ORDERED DIFFERENTIAL FIELDS
• The uniform companion for large differential fields of characteristic 0
• Groups and fields with $\operatorname {NTP}_{2}$
• Differential Dimension Polynomials and a Fundamental Theorem on Differential Modules

This page was built for publication: Definability of types and VC density in differential topological fields