726 research outputs found
Depth of Boolean algebras
We prove a Theorem about the relationship between the Depth of the
ultraproduct of Boolean algebras, divided by an ultrafilter, and the products
of the depths of each component. This answers (partly) an open problem of Monk
Irredundant Sets in Atomic Boolean Algebras
Assuming GCH, we construct an atomic boolean algebra whose pi-weight is
strictly less than the least size of a maximal irredundant family.Comment: This version corrects some errors in the original arXiv versio
On constructions with -cardinals
We propose developing the theory of consequences of morasses relevant in
mathematical applications in the language alternative to the usual one,
replacing commonly used structures by families of sets originating with
Velleman's neat simplified morasses called -cardinals. The theory of related
trees, gaps, colorings of pairs and forcing notions is reformulated and
sketched from a unifying point of view with the focus on the applicability to
constructions of mathematical structures like Boolean algebras, Banach spaces
or compact spaces.
A new result which we obtain as a side product is the consistency of the
existence of a function
with the
appropriate -version of property for regular
satisfying .Comment: Minor correction
Absoluteness via Resurrection
The resurrection axioms are forcing axioms introduced recently by Hamkins and
Johnstone, developing on ideas of Chalons and Velickovi\'c. We introduce a
stronger form of resurrection axioms (the \emph{iterated} resurrection axioms
for a class of forcings and a given
ordinal ), and show that implies generic
absoluteness for the first-order theory of with respect to
forcings in preserving the axiom, where is a
cardinal which depends on ( if is any
among the classes of countably closed, proper, semiproper, stationary set
preserving forcings).
We also prove that the consistency strength of these axioms is below that of
a Mahlo cardinal for most forcing classes, and below that of a stationary limit
of supercompact cardinals for the class of stationary set preserving posets.
Moreover we outline that simultaneous generic absoluteness for
with respect to and for with respect to
with is in principle
possible, and we present several natural models of the Morse Kelley set theory
where this phenomenon occurs (even for all simultaneously). Finally,
we compare the iterated resurrection axioms (and the generic absoluteness
results we can draw from them) with a variety of other forcing axioms, and also
with the generic absoluteness results by Woodin and the second author.Comment: 34 page
Infinite combinatorial issues raised by lifting problems in universal algebra
The critical point between varieties A and B of algebras is defined as the
least cardinality of the semilattice of compact congruences of a member of A
but of no member of B, if it exists. The study of critical points gives rise to
a whole array of problems, often involving lifting problems of either diagrams
or objects, with respect to functors. These, in turn, involve problems that
belong to infinite combinatorics. We survey some of the combinatorial problems
and results thus encountered. The corresponding problematic is articulated
around the notion of a k-ladder (for proving that a critical point is large),
large free set theorems and the classical notation (k,r,l){\to}m (for proving
that a critical point is small). In the middle, we find l-lifters of posets and
the relation (k, < l){\to}P, for infinite cardinals k and l and a poset P.Comment: 22 pages. Order, to appea
Precalibre pairs of measure algebras
AbstractWe consider Radon measures μ and pairs (κ,λ) of cardinals such that among every κ many positive measure sets there are λ many whose intersection is nonempty. Such families are connected with the cardinal invariants of the ideal of μ-null sets and have found applications in various subjects of topological measure theory. We survey many of such connections and applications and give some new ones. In particular we show that it is consistent to have a Corson compact space carrying a Radon measure of type c>ℵ1 and we partially answer a question of Haydon about measure precalibres
- …