Recurrent two-dimensional sequences over three and four letters simulating von Neumann constructions of finite ordinals JY50YXMH5N
| URI | m2://res/JY50YXMH5N |
|---|---|
| Kind | preprint |
| Creators | Xiaofang Jiang, Mihai Prunescu, Bogdan Dumitru |
| Date | 2026-10-01 |
| MSC | 05-XX, 11-XX |
| Subjects | arxiv math.CO, arxiv math.NT |
| Scope | in |
Expressions
e1: version, preprint
| Language | en |
|---|---|
| Date | 2026-10-01 |
| Ids | arXiv 2610.01753, zbl_id 903194299 |
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 |
|---|---|---|---|
| structure | statement | theorem 20 | arxiv |
| edges and hosts | definition | definition 9 | arxiv |
| 28KFN98MCE | statement | theorem 38 | arxiv |
| 2N34YZR6WH | statement | proposition 12 | arxiv |
| 340HD6MGK5 | statement | lemma 48 | arxiv |
| the pattern $H_n$ | definition | definition 26 | arxiv |
| properties of virtual boxes | statement | lemma 36 | arxiv |
| the mirrored ordinals with one initial symbol | statement | corollary 41 | arxiv |
| 70564BGT68 | definition | definition 3 | arxiv |
| ordinary and virtual boxes | definition | definition 35 | arxiv |
| child regions | definition | definition 32 | arxiv |
| number of boxes | statement | corollary 22 | arxiv |
| 8FTTKDFWDA | statement | theorem 11 | arxiv |
| 8K7GK42QMG | statement | theorem 25 | arxiv |
| ordinals are boxes | statement | corollary 19 | arxiv |
| ACS7552447 | definition | definition 6 | arxiv |
| separation from the axes | statement | lemma 46 | arxiv |
| number of ordinary boxes | statement | corollary 42 | arxiv |
| windows | statement | lemma 43 | arxiv |
| uniqueness | statement | lemma 2 | arxiv |
| D1NGXXETD2 | statement | lemma 23 | arxiv |
| the family $\mathcal C$ | definition | definition 33 | arxiv |
| assembly of the boxes | statement | proposition 39 | arxiv |
| E1ZAV7XQJ5 | statement | lemma 4 | arxiv |
| EMNJZDC047 | statement | theorem 30 | arxiv |
| computer verification | statement | proposition 44 | arxiv |
| G00ZKATT3T | statement | lemma 8 | arxiv |
| the diagonal | statement | proposition 40 | arxiv |
| GFRS52FFDK | statement | proposition 14 | arxiv |
| transition squares | statement | proposition 24 | arxiv |
| three initial symbols | statement | theorem 28 | arxiv |
| KCFTH76Z1Y | statement | corollary 45 | arxiv |
| box region | definition | definition 31 | arxiv |
| N0K0KYJHN8 | statement | lemma 16 | arxiv |
| N9R77DZC8Y | statement | proposition 13 | arxiv |
| NH6KXAVWK6 | statement | lemma 1 | arxiv |
| P65G698ENN | definition | definition 5 | arxiv |
| the ordinary pattern $P_n$ | definition | definition 34 | arxiv |
| RGZ6WVAB4Z | statement | lemma 15 | arxiv |
| SCGYFJQH3C | definition | definition 7 | arxiv |
| VN3WHV8BB3 | statement | lemma 49 | arxiv |
| VRP47PKK7M | statement | theorem 47 | arxiv |
| W62S4Z53HD | statement | proposition 17 | arxiv |
| the description $D$ | definition | definition 10 | arxiv |
| the description $\Delta$ | definition | definition 37 | arxiv |
| number of boxes | statement | corollary 29 | arxiv |
| local verification | statement | lemma 27 | arxiv |
| the mirrored ordinals | statement | corollary 21 | arxiv |
Catalogue records
- arxiv: 2610.01753 (work)
- arxiv_text: 2610.01753 (work)
- zbmath_search: 903194299 (work)