Hemi-Nelson algebras RYFV9HGWWZ
| URI | m2://res/RYFV9HGWWZ |
|---|---|
| Kind | preprint |
| Creators | Noemí Lubomirsky, Paula Menchón, Hernán Javier San Martín |
| Date | 2026-01-02 |
| MSC | 03-XX |
| Subjects | arxiv math.LO |
| Scope | in |
Expressions
e1: version, preprint
| Language | en |
|---|---|
| Date | 2026-01-02 |
| Ids | arXiv 2601.01000 |
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 |
|---|---|---|---|
| 1TZ0344G8K | statement | lemma 22 | arxiv |
| 26XG5BXYA9 | statement | theorem 11 | arxiv |
| 28HKKHASR8 | statement | proposition 46 | arxiv |
| 29ZJ6TFQ6V | definition | definition 27 | arxiv |
| 4GJHMDCPN3 | statement | theorem 38 | arxiv |
| 4PP6ERYT7P | statement | proposition 49 | arxiv |
| 5362X2HKJD | definition | definition 1 | arxiv |
| 65H0H3Z3CC | statement | lemma 19 | arxiv |
| 6TN6Q75N0M | example | example 8 | arxiv |
| 7C7SWHTZC9 | statement | proposition 50 | arxiv |
| 8DH1CAFCQ4 | statement | proposition 10 | arxiv |
| 8ERTEBG7AM | definition | definition 5 | arxiv |
| 91YT62FM6A | statement | lemma 23 | arxiv |
| 9HZMG6T7DD | statement | lemma 33 | arxiv |
| 9ZJ1DAXMT1 | statement | theorem 26 | arxiv |
| B8M21FXY9V | statement | proposition 42 | arxiv |
| C9PSB7GH50 | statement | lemma 45 | arxiv |
| CHPKXN1ZJ1 | statement | theorem 15 | arxiv |
| DSZ7CX27PT | statement | lemma 44 | arxiv |
| DXY9XSGZ63 | statement | theorem 36 | arxiv |
| EGXW58M2AC | statement | lemma 20 | arxiv |
| ERT4JQMX9Z | statement | lemma 52 | arxiv |
| GRDXBAZSA4 | statement | lemma 37 | arxiv |
| GTA620DFRD | statement | proposition 31 | arxiv |
| GX3R5CE4FG | statement | lemma 13 | arxiv |
| GY1FJTTTX7 | definition | definition 29 | arxiv |
| HDHH1AWKRK | definition | definition 48 | arxiv |
| J9KZ2D0RPP | definition | definition 17 | arxiv |
| JT433ZTQ3Z | statement | lemma 3 | arxiv |
| K9MNW1AA7C | statement | lemma 25 | arxiv |
| MH8YTNR4JM | definition | definition 2 | arxiv |
| N40DNMMCM7 | statement | proposition 12 | arxiv |
| ND6RH24PTC | statement | lemma 24 | arxiv |
| NYKCYJ77Z1 | statement | proposition 14 | arxiv |
| PWZ6KQ2Y58 | statement | proposition 6 | arxiv |
| R2JA5BX2EG | statement | lemma 34 | arxiv |
| R8M2PDJVKV | statement | proposition 54 | arxiv |
| R8QQWJ4434 | statement | lemma 9 | arxiv |
| SRKT57MB55 | statement | lemma 35 | arxiv |
| T3DMTS5FQ4 | definition | definition 47 | arxiv |
| TK71W5AVNH | example | example 4 | arxiv |
| TQG54QKFW0 | definition | definition 40 | arxiv |
| V55P4KGN59 | definition | definition 39 | arxiv |
| VGF55JM6ZC | statement | proposition 7 | arxiv |
| W4QVQ2G2XA | statement | proposition 28 | arxiv |
| ZDG1V5TJ0F | statement | proposition 41 | arxiv |
| ZRS13HA6CC | statement | lemma 21 | arxiv |
Catalogue records
- arxiv: 2601.01000 (work)
- arxiv_text: 2601.01000 (work)