264 research outputs found
Laver and set theory
In this commemorative article, the work of Richard Laver is surveyed in its full range and extent.Accepted manuscrip
Decomposition theorem on matchable distributive lattices
A distributive lattice structure has been established on the
set of perfect matchings of a plane bipartite graph . We call a lattice {\em
matchable distributive lattice} (simply MDL) if it is isomorphic to such a
distributive lattice. It is natural to ask which lattices are MDLs. We show
that if a plane bipartite graph is elementary, then is
irreducible. Based on this result, a decomposition theorem on MDLs is obtained:
a finite distributive lattice is an MDL if and only if each factor
in any cartesian product decomposition of is an MDL. Two types of
MDLs are presented: and , where
denotes the cartesian product between -element
chain and -element chain, and is a poset implied by any
orientation of a tree.Comment: 19 pages, 7 figure
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
- …