Logical isomorphism and logical limit laws for small permutation classes and regular languages 338GKREFVP
| URI | m2://res/338GKREFVP |
|---|---|
| Kind | preprint |
| Creators | Klas Marström, Eero Räty |
| Date | 2026-10-15 |
| MSC | 05-XX |
| Subjects | arxiv math.CO |
| Scope | in |
Expressions
e1: version, preprint
| Language | en |
|---|---|
| Date | 2026-10-15 |
| Ids | arXiv 2610.22218 |
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 |
|---|---|---|---|
| 1S7NTQPG5F | statement | lemma 56 | arxiv |
| 2S4PKQN9CV | statement | lemma 54 | arxiv |
| 2SE5K1ZGBN | definition | definition 8 | arxiv |
| 3CQZGNK9QB | statement | lemma 60 | arxiv |
| 3QH7MNYAN9 | definition | definition 12 | arxiv |
| 3QZPJBYVDC | statement | lemma 6 | arxiv |
| Vatter | statement | proposition 9 | arxiv |
| 46CXN9MXPP | statement | lemma 48 | arxiv |
| 4N4FPDWC29 | statement | lemma 35 | arxiv |
| 509T95FRW4 | statement | lemma 41 | arxiv |
| Special case of Proposition 2.4 | statement | lemma 26 | arxiv |
| 7G01CTDBCJ | statement | lemma 38 | arxiv |
| 7Y0YWEJPZN | statement | lemma 58 | arxiv |
| 8CZW2RY2AT | statement | lemma 57 | arxiv |
| 8KJ14HCNWR | definition | definition 7 | arxiv |
| 8TG5RR2VK1 | statement | lemma 53 | arxiv |
| 9GF86T01Q2 | definition | definition 6 | arxiv |
| 9QDNCAA0N7 | statement | lemma 13 | arxiv |
| AYZX51HYEA | statement | lemma 33 | arxiv |
| B704S1XRB2 | definition | definition 10 | arxiv |
| BE616SSXJN | statement | theorem 36 | arxiv |
| BWC4ZW1TX0 | statement | lemma 47 | arxiv |
| CAPQWDB1HT | statement | lemma 52 | arxiv |
| CGBTSNN4N6 | statement | theorem 15 | arxiv |
| D0FJS3M970 | statement | proposition 3 | arxiv |
| D3DVGNP6XA | definition | definition 3 | arxiv |
| DJNSRFMZWF | statement | lemma 63 | arxiv |
| DNHQ2S6236 | statement | lemma 34 | arxiv |
| E4QPM5YRKH | definition | definition 2 | arxiv |
| EDEG8WQ725 | definition | definition 1 | arxiv |
| ES7SMTTFT8 | statement | lemma 39 | arxiv |
| F9CDPYH7HW | statement | theorem 64 | arxiv |
| FBK79AQVZ4 | statement | theorem 65 | arxiv |
| FJG1AJ3WG5 | statement | lemma 32 | arxiv |
| G4MKBAR7K0 | definition | definition 4 | arxiv |
| GGAY7EP084 | statement | proposition 66 | arxiv |
| GHERYKMBFR | statement | lemma 51 | arxiv |
| H23CAD4AMD | definition | definition 9 | arxiv |
| HG3Y4EV2JN | statement | lemma 17 | arxiv |
| J3MM6K0GH9 | statement | lemma 7 | arxiv |
| J4GR3NW4AJ | statement | lemma 12 | arxiv |
| JJK2JZCCFT | statement | theorem 22 | arxiv |
| JV18JTE1GS | statement | proposition 23 | arxiv |
| Perron-Frobenius theorem | statement | theorem 49 | arxiv |
| K4A4X08HF3 | statement | lemma 25 | arxiv |
| KAKDHNX19N | statement | lemma 27 | arxiv |
| M9FB6KC4FC | statement | lemma 43 | arxiv |
| NNATF1PTYF | statement | corollary 59 | arxiv |
| NT216VDRW4 | definition | definition 5 | arxiv |
| NW7B10RDTB | statement | theorem 5 | arxiv |
| QJ2P75JQFR | statement | theorem 10 | arxiv |
| QMM2R6K8EG | statement | theorem 37 | arxiv |
| Albert, Atkinson, Bouvel, Ru{\v{s}}kuc and Vatter | statement | proposition 8 | arxiv |
| RP4HQRDFTV | statement | lemma 50 | arxiv |
| RZ79J1FRPG | statement | theorem 11 | arxiv |
| S41XDM7JT7 | statement | lemma 18 | arxiv |
| SB1YWZ1T54 | statement | lemma 16 | arxiv |
| SNZ73RHZHF | statement | lemma 30 | arxiv |
| VD1HX43ZVE | statement | lemma 67 | arxiv |
| WCGZXK91NF | statement | lemma 42 | arxiv |
| WTC1JCTF7H | statement | lemma 40 | arxiv |
| WWF66TQD05 | statement | proposition 46 | arxiv |
| WYJDTX0PDN | definition | definition 11 | arxiv |
| X3J004GKZ6 | statement | lemma 24 | arxiv |
| X9N7DMP7XD | definition | definition 13 | arxiv |
| XDXKJD9STR | statement | lemma 45 | arxiv |
| XEKV343KXQ | statement | lemma 31 | arxiv |
| B\"{u}chi-Elgot-Trakhtenbrot | statement | theorem 4 | arxiv |
| XZW20NN9BC | statement | lemma 68 | arxiv |
| Y5N4CP81WQ | statement | theorem 62 | arxiv |
| Y5V0K8GWKM | statement | lemma 28 | arxiv |
| ZN6F7NDGCC | statement | theorem | arxiv |
| ZN6F7NDGCC | statement | theorem 2 | arxiv |
| ZZ4162F09V | statement | theorem 1 | arxiv |
Catalogue records
- arxiv: 2610.22218 (work)
- arxiv_text: 2610.22218 (work)