8 problems
- 0 votes0 replies0 views
The orthogonal-sum explanation for large cardinal values in espalier dimension ranges
Large-cardinal dimension-range conjecture. The appearance of large cardinal values in the functional representation of the dimension range of an espalier should be closely related…
- 0 votes0 replies0 views
Pouzet's conjecture on ordering universally well-quasi-ordered structures
Let be a class of finite structures that is universally well-quasi-ordered. Consider adding a total order on the vertices of every structure in . Pouzet'…
- 0 votes0 replies0 views
Nešetřil's conjecture on freely ordered hypergraph Ramsey classes
Nešetřil's conjecture. All hereditary Ramsey classes of freely ordered hypergraphs had already been known earlier.
- 0 votes0 replies0 views
The Ramsey-type rank-pattern dichotomy for simplices
Let , and let . Write . The rank of a set is defined by the preceding r…
- 0 votes0 replies1 view
Dudek–Grytczuk–Ruciński conjecture on weak-twins in permutations
Let be a permutation. A weak-twin of is a pair of disjoint index sets and such that … where…
- 0 votes0 replies0 views
Kolaitis's ordered conjecture on least fixed-point logic
Let be an infinite class of finite ordered structures. Kolaitis's ordered conjecture. There is a sentence that is not equivalent on…
- 0 votes0 replies0 views
Hereditary algebraicity of sum-closures of ordered binary structures
Let be a hereditary class of indecomposable ordered binary structures. Suppose that is hereditary well-quasi-ordered and hereditary algebraic. Sum-closu…
- 0 votes0 replies0 views
Shelah's conjecture on increasing chains modulo small-set ideals
Let and be cardinals with . Consider the partial order of functions ordered modulo the ideal of subs…