Beth companions of finitary essentially algebraic theories F7TDYCHCSE
| URI | m2://res/F7TDYCHCSE |
|---|---|
| Kind | preprint |
| Creators | Ivan Di Liberti, Luca Reggio |
| Date | 2026-09-03 |
| MSC | 18-XX, 03-XX, 16-XX |
| Subjects | arxiv math.CT, arxiv math.LO, arxiv math.RA |
| Scope | in |
Expressions
e1: version, preprint
| Language | en |
|---|---|
| Date | 2026-09-03 |
| Ids | arXiv 2609.03601 |
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 |
|---|---|---|---|
| 1QQT1ESFM3 | definition | definition 2.3 | arxiv |
| 27GRK4AHZD | statement | proposition 5.6 | arxiv |
| 2C4Y03T3YJ | definition | definition 5.8 | arxiv |
| 2NC7WFF9PC | statement | corollary 5.13 | arxiv |
| 3BAMKQCQNF | definition | definition 2.4 | arxiv |
| 3EFXD76HYP | statement | lemma 8.3 | arxiv |
| 559VEP5H2K | statement | theorem 4.2 | arxiv |
| 5J3T7DR1B1 | statement | lemma 5.3 | arxiv |
| 5KMQ1BFS8F | statement | proposition 7.7 | arxiv |
| 5NF3ACHT4V | statement | lemma 3.6 | arxiv |
| 61CZ6J90CM | statement | lemma 3.8 | arxiv |
| 620ZJGRZ1C | statement | proposition 8.2 | arxiv |
| 67EF1RZ4DB | statement | proposition 7.5 | arxiv |
| 69QABVXVJ6 | statement | proposition 8.5 | arxiv |
| 6BH33W9NV3 | statement | theorem 6.3 | arxiv |
| 722XKGWHXK | statement | theorem 2.11 | arxiv |
| 7S2P7406TJ | statement | lemma 3.3 | arxiv |
| 7ZHD7CSJE8 | definition | definition 2.7 | arxiv |
| 8Q5DW79ARN | statement | lemma 3.7 | arxiv |
| ASB6Y0GH08 | statement | proposition 3.2 | arxiv |
| BFAYG8FGN7 | definition | definition 7.3 | arxiv |
| BKR8WD3RT5 | statement | lemma 8.6 | arxiv |
| DD6EF4NRGS | statement | proposition 8.1 | arxiv |
| EANQ9MESD3 | statement | theorem 7.8 | arxiv |
| ESGS4Q1262 | statement | corollary 5.12 | arxiv |
| H36MYT4VHX | statement | lemma 8.4 | arxiv |
| HMSTC5JS1Z | statement | theorem 7.2 | arxiv |
| K1264WJ4F3 | statement | theorem 3.9 | arxiv |
| K6S0J1TKHF | statement | proposition 6.5 | arxiv |
| KWF695KPVE | statement | lemma 5.5 | arxiv |
| KZ85WT5SXM | statement | proposition 8.7 | arxiv |
| Gabriel--Ulmer duality | statement | theorem 7.4 | arxiv |
| MXMGYY8D9Q | statement | lemma 5.4 | arxiv |
| MYAE2ZP43X | statement | theorem 5.7 | arxiv |
| N6M9JR597Z | definition | definition 2.1 | arxiv |
| NGQGN51S0V | statement | lemma 5.9 | arxiv |
| PE2GZDCBVB | statement | theorem 6.1 | arxiv |
| QB59SBPPM9 | statement | proposition 2.6 | arxiv |
| QQ0RQGHBMC | definition | definition 3.4 | arxiv |
| QVQ621TREK | statement | theorem 2.14 | arxiv |
| T6924YVZMC | statement | lemma 5.11 | arxiv |
| VYW33RS6ND | definition | definition 5.1 | arxiv |
| X61RS5HWCP | definition | definition 2.2 | arxiv |
| XJ5AVGENNW | definition | definition 3.1 | arxiv |
| Z5PW68A0PY | statement | proposition 2.10 | arxiv |
| ZC3AGY476B | definition | definition 2.9 | arxiv |
Catalogue records
- arxiv: 2609.03601 (work)
- arxiv_text: 2609.03601 (work)