Duality Theory for Sequent Algebras X9WFC1D9ZS
| URI | m2://res/X9WFC1D9ZS |
|---|---|
| Kind | preprint |
| Creators | Sergio A. Celani, William Zuluaga |
| Date | 2026-10-14 |
| MSC | 03-XX, 18-XX |
| Subjects | arxiv math.LO, arxiv math.CT |
| Scope | in |
Expressions
e1: version, preprint
| Language | en |
|---|---|
| Date | 2026-10-14 |
| Ids | arXiv 2610.20956, zbl_id 903213502 |
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 |
|---|---|---|---|
| 14069H76V6 | definition | definition 20 | arxiv |
| 149622YC1H | definition | definition 40 | arxiv |
| 163041W6M1 | definition | definition 34 | arxiv |
| 2ZCS4ST4GH | statement | proposition 25 | arxiv |
| 3ANGPE1R3T | statement | lemma 2 | arxiv |
| 43QGH78NWE | statement | proposition 48 | arxiv |
| 575WGBW3W8 | definition | definition 23 | arxiv |
| 5FZG3D7566 | statement | lemma 50 | arxiv |
| 7J5QA2P991 | statement | proposition 29 | arxiv |
| 7X3E1QFDSA | statement | theorem 31 | arxiv |
| 85V1TY70ZK | statement | lemma 13 | arxiv |
| 8SRV29F4PF | statement | lemma 43 | arxiv |
| AQD32YPVJ9 | definition | definition 35 | arxiv |
| B6F3Y020G1 | statement | lemma 17 | arxiv |
| B94FKMMY5Y | statement | lemma 19 | arxiv |
| BD4J7STD0T | statement | proposition 33 | arxiv |
| C0XDKH1402 | statement | proposition 58 | arxiv |
| EKB3RF8S47 | statement | lemma 7 | arxiv |
| EZQQ3FWNW3 | statement | lemma 9 | arxiv |
| FCMHRC7FF4 | statement | corollary 57 | arxiv |
| FJ6DT531S3 | statement | proposition 37 | arxiv |
| G3WDJKY8DZ | definition | definition 16 | arxiv |
| HHVRFEH1TR | statement | lemma 15 | arxiv |
| HTBRCP0ET4 | statement | lemma 51 | arxiv |
| HVNRVZBZP7 | statement | theorem 46 | arxiv |
| M2TCZX2BDF | definition | definition 8 | arxiv |
| M6GJHNTST3 | statement | theorem 52 | arxiv |
| MJGZEKKS86 | statement | proposition 30 | arxiv |
| NJ7Q3YHY97 | statement | proposition 11 | arxiv |
| NPPTTEK3FD | statement | proposition 27 | arxiv |
| P5R0RKTB2N | statement | lemma 12 | arxiv |
| PV3Y5KGZNC | example | example 1 | arxiv |
| QTCATXKAN7 | statement | lemma 38 | arxiv |
| R1DB98D9H9 | statement | proposition 54 | arxiv |
| RE2WYD6BHX | statement | corollary 56 | arxiv |
| RJ701QZN8J | statement | corollary 21 | arxiv |
| RNS84CT8AT | statement | proposition 49 | arxiv |
| RPEYDTP4FW | definition | definition 45 | arxiv |
| RRKKDKH1RV | statement | proposition 26 | arxiv |
| RS91NN3AVW | statement | lemma 18 | arxiv |
| TJQS8PBN4R | statement | corollary 47 | arxiv |
| TJWPCNCXEC | definition | definition 6 | arxiv |
| TRP53Z8MZS | statement | proposition 44 | arxiv |
| TWCDQXHW1X | statement | corollary 10 | arxiv |
| VT5N613B2E | statement | proposition 32 | arxiv |
| W5C1H0NKDE | statement | proposition 3 | arxiv |
| W5TMWR5NNY | statement | corollary 53 | arxiv |
| W7X5S7K697 | statement | theorem 36 | arxiv |
| WD95VZPA78 | statement | lemma 42 | arxiv |
| WJ5XR27235 | statement | lemma 28 | arxiv |
| X3YK0K3DRV | definition | definition 1 | arxiv |
Catalogue records
- arxiv: 2610.20956 (work)
- arxiv_text: 2610.20956 (work)
- zbmath_search: 903213502 (work)