Small profinite structures
نویسندگان
چکیده
منابع مشابه
Small Profinite Structures
We propose a model-theoretic framework for investigating profinite structures. We prove that in many cases small profinite structures interpret infinite groups. This corresponds to results of Hrushovski and Peterzil on interpreting groups in locally modular stable and o-minimal structures.
متن کاملGeneralizations of small profinite structures
We generalize the model theory of small profinite structures developed by Newelski to the case of compact metric spaces considered together with compact groups of homeomorphisms.
متن کاملProfinite Structures and Dynamics
Surprising as it may be at first sight, there are a number of connections between the theories of finite semigroups and dynamical systems, both viewed in a broad sense. For instance in symbolic dynamics, ideas or analogies from the theory of finite automata find a natural setting for application in sofic systems [10, 24] and, even though not usually formulated in dynamical terms, the dynamical ...
متن کاملEquational theories of profinite structures
In this paper we consider a general way of constructing profinite structures based on a given framework — a countable family of objects and a countable family of recognisers (e.g. formulas). The main theorem states: A subset of a family of recognisable sets is a lattice if and only if it is definable by a family of profinite equations. This result extends Theorem 5.2 from [GGEP08] expressed onl...
متن کاملProfinite Structures are Retracts of Ultraproducts of Finite Structures
We establish the following model-theoretic characterization: profinite L-structures, the cofiltered limits of finite L-structures, are retracts of ultraproducts of finite L-structures. As a consequence, any elementary class of L-structures axiomatized by L-sentences of the form ∀~x(ψ0(~x) → ψ1(~x)), where ψ0(~x), ψ1(~x) are existencialpositives L-formulas, is closed under the formation of profi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Transactions of the American Mathematical Society
سال: 2001
ISSN: 0002-9947,1088-6850
DOI: 10.1090/s0002-9947-01-02854-9