On d-finiteness in continuous structures

Fundamenta Mathematicae

Volumn 194, Issue 1, 2007, Pages 67-88

  Ben Yaacov, Itaï ^a,b   Usvyatsov, Alexander ^a,c  

^a UMR 5208 ^*

^b UNIVERSITÉ LYON 1   (France)

^c UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Approximately w saturated model; Continuous first order logic; d finite tuple; Model theory of metric structures

Indexed keywords

EID: 34250202183     PISSN: 00162736     EISSN: None     Source Type: Journal    
DOI: 10.4064/fm194-1-4     Document Type: Article

References (5)

1. I. Ben Yaacov, Uncountable dense categoricity in cats, J. Symbolic Logic 70 (2005), 829-860.
2. p(μ), submitted.
3. I. Ben Yaacov, A. Berenstein, C. W. Henson, and A. Usvyatsov, Model theory for metric structures, expanded lecture notes for a workshop given in March/April 2005, Isaac Newton Institute, Univ. of Cambridge, 2005.
4. I. Ben Yaacov and A. Usvyatsov, Continuous first order logic and local stability, submitted.
5. A. Pillay, Countable models of stable theories, Proc. Amer. Math. Soc. 89 (1983), 666-672.