235 research outputs found
Generic expansions of countable models
We compare two different notions of generic expansions of countable saturated
structures. One kind of genericity is related to model-companions and to
amalgamation constructions \'a la Hrushovski-Fra\"iss\'e. Another notion of
generic expansion is defined via topological properties and Baire category
theory. The second type of genericity was first formulated by Truss for
automorphisms. We work with a later generalization, due to Ivanov, to finite
tuples of predicates and functions
On the Scope of the Universal-Algebraic Approach to Constraint Satisfaction
The universal-algebraic approach has proved a powerful tool in the study of
the complexity of CSPs. This approach has previously been applied to the study
of CSPs with finite or (infinite) omega-categorical templates, and relies on
two facts. The first is that in finite or omega-categorical structures A, a
relation is primitive positive definable if and only if it is preserved by the
polymorphisms of A. The second is that every finite or omega-categorical
structure is homomorphically equivalent to a core structure. In this paper, we
present generalizations of these facts to infinite structures that are not
necessarily omega-categorical. (This abstract has been severely curtailed by
the space constraints of arXiv -- please read the full abstract in the
article.) Finally, we present applications of our general results to the
description and analysis of the complexity of CSPs. In particular, we give
general hardness criteria based on the absence of polymorphisms that depend on
more than one argument, and we present a polymorphism-based description of
those CSPs that are first-order definable (and therefore can be solved in
polynomial time).Comment: Extended abstract appeared at 25th Symposium on Logic in Computer
Science (LICS 2010). This version will appear in the LMCS special issue
associated with LICS 201
A viewpoint on amalgamation classes
We provide a self-contained introduction to the classical theory of
universal-homogeneous models (also known as generic structures, rich models, or
Fra\"iss\'e limits). In the literature, most treatments restrict consideration
to embeddings among finite structures. This is not suitable for some
applications. We take the notion of morphisms as primitive and we allow
structures to have arbitrary cardinality
Notions of Relative Ubiquity for Invariant Sets of Relational Structures
Given a finite lexicon L of relational symbols and equality, one may view the collection of all L-structures on the set of natural numbers w as a space in several different ways. We consider it as: (i) the space of outcomes of certain infinite two-person games; (ii) a compact metric space; and (iii) a probability measure space. For each of these viewpoints, we can give a notion of relative ubiquity, or largeness, for invariant sets of structures on w. For example, in every sense of relative ubiquity considered here, the set of dense linear orderings on w is ubiquitous in the set of linear orderings on w
Coherence in Modal Logic
A variety is said to be coherent if the finitely generated subalgebras of its
finitely presented members are also finitely presented. In a recent paper by
the authors it was shown that coherence forms a key ingredient of the uniform
deductive interpolation property for equational consequence in a variety, and a
general criterion was given for the failure of coherence (and hence uniform
deductive interpolation) in varieties of algebras with a term-definable
semilattice reduct. In this paper, a more general criterion is obtained and
used to prove the failure of coherence and uniform deductive interpolation for
a broad family of modal logics, including K, KT, K4, and S4
Generalized Indiscernibles as Model-complete Theories
We give an almost entirely model-theoretic account of both Ramsey classes of
finite structures and of generalized indiscernibles as studied in special cases
in (for example) [7], [9]. We understand "theories of indiscernibles" to be
special kinds of companionable theories of finite structures, and much of the
work in our arguments is carried in the context of the model-companion. Among
other things, this approach allows us to prove that the companion of a theory
of indiscernibles whose "base" consists of the quantifier-free formulas is
necessarily the theory of the Fraisse limit of a Fraisse class of linearly
ordered finite structures (where the linear order will be at least
quantifier-free definable). We also provide streamlined arguments for the
result of [6] identifying extremely amenable groups with the automorphism
groups of limits of Ramsey classes.Comment: 21 page
- …