On d-finiteness in continuous structures
From MaRDI portal
Publication:3419248
DOI10.4064/fm194-1-4zbMath1121.03045MaRDI QIDQ3419248
Itaï Ben Yaacov, Alexander Usvyatsov
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
continuous first-order logic; model theory of metric structures; \(d\)-finite tuple; approximately \(\omega\)-saturated model
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
Omitting types for infinitary \([0,1\)-valued logic], Categoricity in homogeneous complete metric spaces, Topometric spaces and perturbations of metric structures, On theories of random variables, Omitting uncountable types and the strength of \([0,1\)-valued logics], Polish topometric groups, Continuous first order logic and local stability