Constructing Many Atomic Models in ℵ1
نویسندگان
چکیده
We introduce the notion of pseudo-algebraicity to study atomic models of first order theories (equivalently models of a complete sentence of Lω1,ω). Theorem: Let T be any complete first-order theory in a countable language with an atomic model. If the pseudo-minimal types are not dense, then there are 2א1 pairwise non-isomorphic atomic models of T , each of size א1.
منابع مشابه
Estimation of error in observables of coarse-grained models of atomic systems
*Correspondence: [email protected] Institute for Computational Engineering and Sciences The University of Texas at Austin, 201 East 24th St, Stop C0200 POB 4.102, 78712 Austin, TX, USA Abstract Background: The use of coarse-grained approximations of atomic systems is the most common methods of constructing reduced-order models in computational science. However, the issue of central importanc...
متن کاملOn an atomic decomposition in Banach spaces
An atomic decomposition is considered in Banach space. A method for constructing an atomic decomposition of Banach space, starting with atomic decomposition of subspaces is presented. Some relations between them are established. The proposed method is used in the study of the frame properties of systems of eigenfunctions and associated functions of discontinuous differential operators.
متن کاملA novel topological descriptor based on the expanded wiener index: Applications to QSPR/QSAR studies
In this paper, a novel topological index, named M-index, is introduced based on expanded form of the Wiener matrix. For constructing this index the atomic characteristics and the interaction of the vertices in a molecule are taken into account. The usefulness of the M-index is demonstrated by several QSPR/QSAR models for different physico-chemical properties and biological activities of a large...
متن کاملConstructing many atomic models in א 1 John Baldwin
As has been known since at least [?] and is carefully spelled out in Chapter 6 of [?], for every complete sentence ψ of Lω1,ω (in a countable vocabulary τ ) there is a complete, first order theory T (in a countable vocabulary extending τ ) such that the models of ψ are exactly the τ -reducts of the atomic models of T . This paper is written entirely in terms of the class AtT of atomic models of...
متن کاملOn independent sets in purely atomic probability spaces with geometric distribution
We are interested in constructing concrete independent events in purely atomic probability spaces with geometric distribution. Among other facts we prove that there are uncountable many sequences of independent events.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Symb. Log.
دوره 81 شماره
صفحات -
تاریخ انتشار 2016