On d-finiteness in continuous structures

DOI10.4064/fm194-1-4zbMath1121.03045MaRDI QIDQ3419248

Alexander Usvyatsov, Itaï Ben Yaacov

Publication date: 6 February 2007

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.4064/fm194-1-4

zbMATH Keywords

continuous first-order logic; model theory of metric structures; \(d\)-finite tuple; approximately \(\omega\)-saturated model

Mathematics Subject Classification ID

03C45: Classification theory, stability, and related concepts in model theory

03C90: Nonclassical models (Boolean-valued, sheaf, etc.)

03C35: Categoricity and completeness of theories

03C95: Abstract model theory

Related Items

Unnamed Item, MEASURING DEPENDENCE IN METRIC ABSTRACT ELEMENTARY CLASSES WITH PERTURBATIONS, FRAÏSSÉ LIMITS OF METRIC STRUCTURES, AUTOMORPHISM GROUPS OF RANDOMIZED STRUCTURES, Effective metric model theory, Omitting types for infinitary \([0,1\)-valued logic], The dynamical hierarchy for Roelcke precompact Polish groups, Categoricity in homogeneous complete metric spaces, Topometric spaces and perturbations of metric structures, On a Roelcke-precompact Polish group that cannot act transitively on a complete metric space, On theories of random variables, Omitting uncountable types and the strength of \([0,1\)-valued logics], GREY SUBSETS OF POLISH SPACES, RECONSTRUCTION OF SEPARABLY CATEGORICAL METRIC STRUCTURES, Weakly almost periodic functions, model-theoretic stability, and minimality of topological groups, Polish topometric groups, Continuous first order logic and local stability