Baire measurable functions and automorphisms of the truth-table degrees 51W7AECQDA
| URI | m2://res/51W7AECQDA |
|---|---|
| Kind | preprint |
| Creators | Bjørn Kjos-Hanssen |
| Date | 2026-10-12 |
| MSC | 03-XX |
| Subjects | arxiv math.LO |
| Scope | in |
Expressions
e1: version, preprint
| Language | en |
|---|---|
| Date | 2026-10-12 |
| Ids | arXiv 2610.16059, zbl_id 903208605 |
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 |
|---|---|---|---|
| 19TWRZ6K77 | statement | lemma 4.2 | arxiv |
| 34XHSRC86K | statement | lemma 4.4 | arxiv |
| $\mathrm{ZF}+\mathrm{AD}$; comeager uniformization | statement | lemma 5.1 | arxiv |
| 5DJ6PN2T7G | statement | lemma 6.3 | arxiv |
| Uniformization | statement | lemma 2.4 | arxiv |
| Coding lemma | statement | proposition 4.3 | arxiv |
| 82VNDBD8W2 | statement | proposition 6.5 | arxiv |
| 8JNFTDSDVB | problem | problem 1.6 | arxiv |
| 9A81CVXYBH | statement | corollary 6.6 | arxiv |
| CYE6QTVAT9 | statement | lemma 2.2 | arxiv |
| D7P6VDKMRW | statement | lemma 2.1 | arxiv |
| DZSE61ADB2 | statement | proposition 4.5 | arxiv |
| $\mathrm{ZF}+\mathrm{AD}$ | statement | theorem 1.4 | arxiv |
| F5PVZEATD0 | statement | lemma 2.3 | arxiv |
| FAXXNK1YBC | statement | theorem 1.3 | arxiv |
| FR1J61V1TW | statement | theorem 1.5 | arxiv |
| FX9XZJCEV8 | definition | definition 6.1 | arxiv |
| H30TW39W0P | statement | proposition 4.8 | arxiv |
| JNVYSMKAGR | statement | theorem 1.1 | arxiv |
| Translation and halving | statement | lemma 2.5 | arxiv |
| Meets of generic joins | statement | lemma 4.6 | arxiv |
| MYTVDN05KE | statement | corollary 3.5 | arxiv |
| NHDVXEV8TJ | statement | lemma 6.2 | arxiv |
| NNVZF84F29 | statement | lemma 4.7 | arxiv |
| RCH1EJF2KA | statement | lemma 4.1 | arxiv |
| Two-sided version | statement | proposition 4.9 | arxiv |
| VTCDGM5ZXH | statement | corollary 1.2 | arxiv |
| W7SS33VV89 | statement | theorem 6.4 | arxiv |
| Y35XXE5EKH | statement | proposition 3.3 | arxiv |
| ZG4SG42B6G | statement | proposition 3.1 | arxiv |
Catalogue records
- arxiv: 2610.16059 (work)
- arxiv_text: 2610.16059 (work)
- zbmath_search: 903208605 (work)