Superabelian logics QXJP79APHN
| URI | m2://res/QXJP79APHN |
|---|---|
| Kind | preprint |
| Creators | Petr Cintula, Filip Jankovec, Carles Noguera |
| Date | 2024-09-30 |
| MSC | 03-XX |
| Subjects | arxiv math.LO, arxiv cs.LO |
| Scope | in |
Expressions
e1: version, preprint
| Language | en |
|---|---|
| Date | 2024-09-30 |
| Ids | arXiv 2409.20170, DOI 10.1017/s1755020326101129 |
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 |
|---|---|---|---|
| 1GJZYHFHP0 | statement | lemma 3.2 | arxiv |
| 1KMT5PVBXB | statement | theorem 5.8 | arxiv |
| 4B1S8PHWYG | statement | lemma 5.9 | arxiv |
| 5NXEPE21DY | definition | definition 2.7 | arxiv |
| 5S1PBTQ4AE | conjecture | conjecture 3.8 | arxiv |
| 5V1T3V7NMJ | definition | definition 3.9 | arxiv |
| 63MBT3CWQ2 | statement | corollary 3.6 | arxiv |
| 6RC2SJR79K | definition | definition 5.6 | arxiv |
| 81NGP3JK52 | statement | theorem 4.3 | arxiv |
| A89N1EW10K | statement | proposition 3.5 | arxiv |
| ARKKD4TTGC | statement | theorem 4.5 | arxiv |
| B6G8Z0D1RG | statement | theorem 2.8 | arxiv |
| BSKFGZ4FSH | definition | definition 2.4 | arxiv |
| BZTJA8Y0YE | definition | definition 2.1 | arxiv |
| C6CKH908H0 | definition | definition 4.2 | arxiv |
| C78TPFVBNE | definition | definition 2.9 | arxiv |
| DC4TGV97VC | statement | proposition 4.6 | arxiv |
| DGGWP2Z63Z | definition | definition 4.1 | arxiv |
| DV35EW97WP | statement | corollary 2.18 | arxiv |
| G535M2CWYK | definition | definition 5.1 | arxiv |
| GXNAR0DFYP | example | example 5.4 | arxiv |
| H0MFWP3RMF | statement | lemma 5.2 | arxiv |
| HGC93X8XPF | statement | lemma 5.3 | arxiv |
| HGVGWMWMBP | definition | definition 2.2 | arxiv |
| J1HB5F2071 | definition | definition 2.6 | arxiv |
| JJGP4GZXPH | example | example 3.11 | arxiv |
| K4MFVMF8CM | definition | definition 3.1 | arxiv |
| KT7SFF5YKW | statement | theorem 3.7 | arxiv |
| MQPNWY91YQ | statement | theorem 2.11 | arxiv |
| NPDSR2DX2Y | statement | theorem 3.4 | arxiv |
| QAMQN2JR8D | example | example 3.3 | arxiv |
| QT6HVYXF99 | statement | theorem 2.15 | arxiv |
| QYEGDMC81Q | statement | lemma 4.4 | arxiv |
| RQ9NGXKN95 | statement | theorem 5.10 | arxiv |
| RSNWFCPC28 | statement | lemma 2.10 | arxiv |
| SBST6RPBFV | example | example 3.13 | arxiv |
| SVJAV9ABQN | statement | theorem 2.16 | arxiv |
| SZR2NA1ZJ0 | statement | proposition 3.12 | arxiv |
| T8KY3MZVJ5 | definition | definition 2.14 | arxiv |
| TJ04N32S18 | statement | theorem 5.5 | arxiv |
| VNSQT6NVZA | statement | corollary 2.17 | arxiv |
| WHS7TCEXKV | statement | theorem 5.11 | arxiv |
| X895NMG1Y8 | statement | theorem 5.7 | arxiv |
| XBNZE3759C | definition | definition 2.5 | arxiv |
| Y6MZGQ4NZ1 | statement | lemma 3.10 | arxiv |
| YEDDVTFDVV | statement | corollary 2.13 | arxiv |
| Z4S9RB1TNY | statement | theorem 2.12 | arxiv |
| Z4VNYVRE4J | definition | definition 2.3 | arxiv |
Catalogue records
- arxiv: 2409.20170 (work)
- arxiv_text: 2409.20170 (work)