On d-finiteness in continuous structures

DOI10.4064/fm194-1-4zbMath1121.03045OpenAlexW1992706442MaRDI 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 logicmodel theory of metric structures\(d\)-finite tupleapproximately \(\omega\)-saturated model

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Categoricity and completeness of theories (03C35) Abstract model theory (03C95)

Related Items (23)

On a Roelcke-precompact Polish group that cannot act transitively on a complete metric space ⋮ RECONSTRUCTION OF NON--CATEGORICAL THEORIES ⋮ Omitting types for infinitary \([0,1\)-valued logic] ⋮ ℵ₀‐categorical Banach spaces contain ℓp or c₀ ⋮ AUTOMORPHISM GROUPS OF RANDOMIZED STRUCTURES ⋮ MEASURING DEPENDENCE IN METRIC ABSTRACT ELEMENTARY CLASSES WITH PERTURBATIONS ⋮ On theories of random variables ⋮ Omitting uncountable types and the strength of \([0,1\)-valued logics] ⋮ Maximal equivariant compactification of the Urysohn spaces and other metric structures ⋮ Model theory of R-trees ⋮ The dynamical hierarchy for Roelcke precompact Polish groups ⋮ Effective metric model theory ⋮ Continuous first order logic and local stability ⋮ GREY SUBSETS OF POLISH SPACES ⋮ Unnamed Item ⋮ RECONSTRUCTION OF SEPARABLY CATEGORICAL METRIC STRUCTURES ⋮ Categoricity in homogeneous complete metric spaces ⋮ Weakly almost periodic functions, model-theoretic stability, and minimality of topological groups ⋮ Factorial relative commutants and the generalized Jung property for \(\mathrm{II}_1\) factors ⋮ Topometric spaces and perturbations of metric structures ⋮ Polish topometric groups ⋮ FRAÏSSÉ LIMITS OF METRIC STRUCTURES ⋮ Metric spaces are universal for bi-interpretation with metric structures

This page was built for publication: On d-finiteness in continuous structures