Premium
Finitely generated submodels of an uncountably categorical homogeneous structure
Author(s) -
Hyttinen Tapani
Publication year - 2004
Publication title -
mathematical logic quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/malq.200310079
Subject(s) - homogeneous , categorical variable , mathematics , lift (data mining) , model theory , rank (graph theory) , pure mathematics , discrete mathematics , combinatorics , computer science , statistics , data mining
We generalize the result of non‐finite axiomatizability of totally categorical first‐order theories from elementary model theory to homogeneous model theory. In particular, we lift the theory of envelopes to homogeneous model theory and develope theory of imaginaries in the case of ω ‐stable homogeneous classes of finite U ‐rank. (© 2003 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)