125 research outputs found
On colimits and elementary embeddings
We give a sharper version of a theorem of Rosicky, Trnkova and Adamek, and a
new proof of a theorem of Rosicky, both about colimit preservation between
categories of structures. Unlike the original proofs, which use
category-theoretic methods, we use set-theoretic arguments involving elementary
embeddings given by large cardinals such as alpha-strongly compact and
C^(n)-extendible cardinals.Comment: 17 page
Some applications of the ultrapower theorem to the theory of compacta
The ultrapower theorem of Keisler-Shelah allows such model-theoretic notions
as elementary equivalence, elementary embedding and existential embedding to be
couched in the language of categories (limits, morphism diagrams). This in turn
allows analogs of these (and related) notions to be transported into unusual
settings, chiefly those of Banach spaces and of compacta. Our interest here is
the enrichment of the theory of compacta, especially the theory of continua,
brought about by the immigration of model-theoretic ideas and techniques
Definable orthogonality classes in accessible categories are small
We lower substantially the strength of the assumptions needed for the
validity of certain results in category theory and homotopy theory which were
known to follow from Vopenka's principle. We prove that the necessary
large-cardinal hypotheses depend on the complexity of the formulas defining the
given classes, in the sense of the Levy hierarchy. For example, the statement
that, for a class S of morphisms in a locally presentable category C of
structures, the orthogonal class of objects is a small-orthogonality class
(hence reflective) is provable in ZFC if S is \Sigma_1, while it follows from
the existence of a proper class of supercompact cardinals if S is \Sigma_2, and
from the existence of a proper class of what we call C(n)-extendible cardinals
if S is \Sigma_{n+2} for n bigger than or equal to 1. These cardinals form a
new hierarchy, and we show that Vopenka's principle is equivalent to the
existence of C(n)-extendible cardinals for all n. As a consequence, we prove
that the existence of cohomological localizations of simplicial sets, a
long-standing open problem in algebraic topology, is implied by the existence
of arbitrarily large supercompact cardinals. This result follows from the fact
that cohomology equivalences are \Sigma_2. In contrast with this fact, homology
equivalences are \Sigma_1, from which it follows (as is well known) that the
existence of homological localizations is provable in ZFC.Comment: 38 pages; some results have been improved and former inaccuracies
have been correcte
Trees of cylinders and canonical splittings
Let T be a tree with an action of a finitely generated group G. Given a
suitable equivalence relation on the set of edge stabilizers of T (such as
commensurability, co-elementarity in a relatively hyperbolic group, or
commutation in a commutative transitive group), we define a tree of cylinders
T_c. This tree only depends on the deformation space of T; in particular, it is
invariant under automorphisms of G if T is a JSJ splitting. We thus obtain
Out(G)-invariant cyclic or abelian JSJ splittings. Furthermore, T_c has very
strong compatibility properties (two trees are compatible if they have a common
refinement).Comment: 38 pages, 2 figures. Reference updat
From non-commutative diagrams to anti-elementary classes
Anti-elementarity is a strong way of ensuring that a class of structures , in
a given first-order language, is not closed under elementary equivalence with
respect to any infinitary language of the form L . We prove
that many naturally defined classes are anti-elementary, including the
following: the class of all lattices of finitely generated convex
{\ell}-subgroups of members of any class of {\ell}-groups containing all
Archimedean {\ell}-groups; the class of all semilattices of finitely
generated {\ell}-ideals of members of any nontrivial quasivariety of
{\ell}-groups; the class of all Stone duals of spectra of
MV-algebras-this yields a negative solution for the MV-spectrum Problem;
the class of all semilattices of finitely generated two-sided ideals
of rings; the class of all semilattices of finitely generated
submodules of modules; the class of all monoids encoding the
nonstable -theory of von Neumann regular rings, respectively C*-algebras
of real rank zero; (assuming arbitrarily large Erd"os cardinals) the
class of all coordinatizable sectionally complemented modular lattices with a
large 4-frame. The main underlying principle is that under quite general
conditions, for a functor : A B, if there exists a
non-commutative diagram D of A, indexed by a common sort of poset called an
almost join-semilattice, such that D^I is a commutative
diagram for every set I, D is not isomorphic to X for
any commutative diagram X in A, then the range of is anti-elementary.Comment: 49 pages. Journal of Mathematical Logic, World Scientific Publishing,
In pres
Club guessing and the universal models
We survey the use of club guessing and other pcf constructs in the context of
showing that a given partially ordered class of objects does not have a
largest, or a universal element
- …