An infinite combinatorial statement with a poset parameter
From MaRDI portal
Abstract: We introduce an extension, indexed by a partially ordered set P and cardinal numbers k,l, denoted by (k,l)-->P, of the classical relation (k,n,l)--> r in infinite combinatorics. By definition, (k,n,l)--> r holds, if every map from the n-element subsets of k to the subsets of k with less than l elements has a r-element free set. For example, Kuratowski's Free Set Theorem states that (k,n,l)-->n+1 holds iff k is larger than or equal to the n-th cardinal successor l^{+n} of the infinite cardinal k. By using the (k,l)-->P framework, we present a self-contained proof of the first author's result that (l^{+n},n,l)-->n+2, for each infinite cardinal l and each positive integer n, which solves a problem stated in the 1985 monograph of Erd"os, Hajnal, Mate, and Rado. Furthermore, by using an order-dimension estimate established in 1971 by Hajnal and Spencer, we prove the relation (l^{+(n-1)},r,l)-->2^m, where m is the largest integer below (1/2)(1-2^{-r})^{-n/r}, for every infinite cardinal l and all positive integers n and r with r larger than 1 but smaller than n. For example, (aleph_{210},4,aleph_0)-->32,768. Other order-dimension estimates yield relations such as (aleph_{109},4,aleph_0)--> 257 (using an estimate by F"uredi and Kahn) and (aleph_7,4,aleph_0)-->10 (using an exact estimate by Dushnik).
Recommendations
Cites work
- CRITICAL POINTS OF PAIRS OF VARIETIES OF ALGEBRAS
- Cardinality questions concerning semilattices of finite breadth
- Combinatorial set theory: Partition relations for cardinals
- Concerning a Certain Set of Arrangements
- Critical points between varieties generated by subspace lattices of vector spaces
- From objects to diagrams for ranges of functors
- Minimal scrambling sets of simple orders
- More on the free subset problem
- On the dimensions of ordered sets of bounded degree
- On the free subset property at singular cardinals
- On the order dimension of 1-sets versus \(k\)-sets
- Sur une caractérisation des alephs
- The consistency strength of the free-subset property for ωω
- The dimension of suborders of the Boolean lattice
- The dimension of two levels of the Boolean lattice
- Two consistency results on set mappings
Cited in
(6)- Categories of partial algebras for critical points between varieties of algebras.
- Set mappings on 4-tuples
- Greene-Kleitman's theorem for infinite posets
- Lifting defects for nonstable \(K_{0}\)-theory of exchange rings and \(C^*\)-algebras
- Cevian operations on distributive lattices
- From noncommutative diagrams to anti-elementary classes
This page was built for publication: An infinite combinatorial statement with a poset parameter
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q653993)
