Oracle-Tree Forcing and Wilfs Inequality for Thirteen Left Elements 5PN85N6EJF
| URI | m2://res/5PN85N6EJF |
|---|---|
| Kind | preprint |
| Creators | Michel Gaspar |
| Date | 2026-09-25 |
| MSC | 03-XX |
| Subjects | arxiv math.LO |
| Scope | in |
Expressions
e1: version, preprint
| Language | en |
|---|---|
| Date | 2026-09-25 |
| Ids | arXiv 2609.32078, zbl_id 903184261 |
Items in this resource
The mentions of the inventory that name this resource. Each name links to the card of its inventory row.
| Item | Kind | Where | Source |
|---|---|---|---|
| 23ZAJ4XNKG | statement | lemma F.2 | arxiv |
| 2JJ7V2MNMY | statement | lemma F.3 | arxiv |
| Offset Cohen projection and degrees | statement | theorem 8.1 | arxiv |
| 3SSTQ6DT8V | statement | lemma F.4 | arxiv |
| 4026NEHNE1 | statement | proposition F.5 | arxiv |
| Thirteen left elements | statement | theorem 12.1 | arxiv |
| 4SF5H2M6VH | statement | proposition D.2 | arxiv |
| Finite support kernel | definition | definition 2.1 | arxiv |
| 4ZKFWATN2J | statement | lemma D.1 | arxiv |
| Sound strategies prove the target | statement | proposition 9.6 | arxiv |
| 62TAVDX2DR | statement | lemma 5.3 | arxiv |
| 6T0AWARR20 | statement | corollary 4.3 | arxiv |
| 7T6RYXCSED | statement | lemma E.1 | arxiv |
| Exact square-cutoff law | statement | proposition 7.1 | arxiv |
| Branchwise Wilf certificates | statement | theorem 14.2 | arxiv |
| 9SPTVJ4W01 | statement | proposition E.2 | arxiv |
| Effective tail bounds and visible sufficient payoffs | statement | corollary 9.5 | arxiv |
| AGJ9JNMK5E | statement | lemma C.7 | arxiv |
| Filter-large certificates give branchwise refinement | statement | theorem 9.2 | arxiv |
| Local covering homogeneity | statement | theorem 5.6 | arxiv |
| CZQ05S9TAQ | statement | proposition E.4 | arxiv |
| Positive certificates give dense success | statement | theorem 9.1 | arxiv |
| DD03Y2MSKE | statement | lemma F.1 | arxiv |
| No fixed probabilistic test | statement | theorem 7.3 | arxiv |
| EFP2FT77S6 | statement | proposition F.7 | arxiv |
| Exact covering number | statement | corollary 5.5 | arxiv |
| Rank-tail normal form | statement | lemma 2.2 | arxiv |
| All branches and generic truth differ | statement | proposition 6.3 | arxiv |
| HD0D7X4KE1 | statement | lemma C.4 | arxiv |
| MC404DKMR2 | statement | proposition C.8 | arxiv |
| Support persistence | statement | proposition 13.1 | arxiv |
| Observation projection | statement | theorem 2.3 | arxiv |
| N5H0281NRS | statement | lemma A.1 | arxiv |
| NHDRFZ6KFR | statement | lemma D.3 | arxiv |
| NYB058AKTK | statement | lemma C.5 | arxiv |
| P8XN9YZ622 | statement | proposition D.5 | arxiv |
| Branchwise density criterion | statement | proposition 9.4 | arxiv |
| Ideal characteristics | statement | theorem 5.2 | arxiv |
| Exhaustion dependence | statement | proposition 7.2 | arxiv |
| RS9F9SBKMR | statement | lemma D.4 | arxiv |
| Idealized presentation | statement | proposition 5.1 | arxiv |
| Exact tree reading of the game | statement | theorem 6.1 | arxiv |
| Absoluteness boundary | statement | proposition 9.7 | arxiv |
| Positivity alone does not give branchwise refinement | statement | proposition 9.3 | arxiv |
| Cofinal certificate cells | statement | lemma 14.1 | arxiv |
| TEF0GMWBH3 | statement | lemma C.2 | arxiv |
| Exact finite evaluation | statement | lemma F.6 | arxiv |
| TQT417EDXE | statement | lemma C.1 | arxiv |
| TZ14H56J7J | statement | proposition E.3 | arxiv |
| VJMAGWJ64M | statement | lemma A.2 | arxiv |
| W1AKYN3NBW | statement | lemma C.6 | arxiv |
| Winner transfer through observation | statement | theorem 6.2 | arxiv |
| WX6JGAJNZ8 | statement | lemma 5.4 | arxiv |
| WXMX14CY9P | statement | lemma C.3 | arxiv |
| Closed-fiber order | statement | proposition 4.1 | arxiv |
| XWQGXNPPQ8 | statement | theorem E.5 | arxiv |
| Hidden-label phase | statement | theorem 3.1 | arxiv |
| Exact residual density | statement | theorem 4.2 | arxiv |
| Z7VCYK16Z0 | statement | lemma B.1 | arxiv |
| ZQ82BQ3DKH | statement | theorem D.6 | arxiv |
Catalogue records
- arxiv: 2609.32078 (work)
- arxiv_text: 2609.32078 (work)
- zbmath_search: 903184261 (work)