#матлог #учёба #спецсеминар #не_мехмат #МИАН #ТД

Logic Online Seminar (https://www.mathnet.ru/rus/conf876), Monday 16:00 MSK (UTC+3), MIAN Room 313 + Kontur Talk

16.02.2026, D.I. Saveliev (MIPT): Solution to Hart–van Mill’s Problem 61 (onsite)

A natural question, appeared as Problem 61 in Hart and van Mill's list of open problems on βω (2024), asks whether every finite partial order is isomorphically embeddable in the Rudin--Keisler order on (types of) ultrafilters over a countable set. Although the positive answer, even for all countable partial orders, was obtained under CH in Blass' thesis (1970), the situation in ZFC alone has remained widely open. The solution was obtained by the speaker jointly with Poliakov (2025). We show that ZFC is sufficient not only to re-prove Blass' result but to prove a much stronger fact: the lattices of finite subsets of a set of cardinality 2^𝔠, and of countable subsets of a set of cardinality ℵ_1, both ordered by inclusion, are embeddable in ultrafilters with any relation lying between the Rudin--Keisler and Comfort orders.

K. P. Hart, J. van Mill, “Problems on βN”, Topology Appl., 364:1 (2025), 109092, 24 pp. arXiv:2205.11204.

N. L. Poliakov, D. I. Saveliev, “On embedding of partially ordered sets in (βω,⩽_RK)”, 2025, arXiv: 2511.19354.

N. L. Poliakov, D. I. Saveliev, “Solution to Hart–van Mill’s problem 61”, Russ. Math. Surv., 81:1 (487) (2026), 205–206 (to appear).

➰ ВК