Open Research Index

The Gamified Katětov order is not linear (in fact, very much not so)

Takayuki Kihara, Ming Ng

arXivarxiv/2605.21473May 20, 2026math.LOscore 0

Recently, the authors introduced the Gamified Katětov order on filters over $ω$. This was shown to be strictly coarser than the classical Katětov order, and in fact collapses all MAD families to a single equivalence class. In the opposite direction, the present paper shows that the Gamified Katětov order also embeds $\mathcal{P}(ω)/\mathrm{Fin}$, and thus contains an antichain of size continuum. The analysis brings into focus some interesting connections with Ramsey theory. As part of a broader programme investigating the interplay between combinatorial and computable complexity, we then…

SourceJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/arxiv/2605.21473
curl -X POST /api/v1/records/arxiv/2605.21473/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2605.21473/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'