arXiv (All)
open access
On omega-powers of infinite difference rank
It is proved that there exists a language $L$ such that its $ω$-power has infinite rank in the difference hierarchy of open sets. The same holds for the decreasing difference hierarchy of $Π^0_2$ sets.
Conceptio Open Archive
Analyze & explore related research in Conceptio
Connect this record directly into your research workflow or AI agent. Explore citations across open repositories, query full text, and export structured proof bundles.
This document is indexed with metadata only: full text is not available in the archive for this record. Open the official source ↗
Related documents
- Differential Inclusions Involving the Curl Operator#1123903
- A Structural Rigidity Result for the BSD Rank Equality#92689
- New bounds and constructions for large partial $m$-ovoids and related structures#984797
- A remark on the full support property#609696
- Wittgenstein Sobre as Provas Indutivas#761437
Record · ID 1234456
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Bring this data into your agent: Connect via MCP or API · 20 free credits to start · no card required
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive