| Transfer within the finite natural inverse class | statement | corollary 5.24 | arxiv |
| Uniform graph witnesses | statement | theorem 3.24 | arxiv |
| Short-support relations | statement | lemma 3.8 | arxiv |
| 1V1CB0ZCP7 | statement | proposition 6.10 | arxiv |
| The structure of regular flat semirings | statement | proposition 5.1 | arxiv |
| Variable bounds in locally finite varieties | statement | lemma 5.21 | arxiv |
| 2N80G7WW8A | statement | corollary 5.8 | arxiv |
| Uniform commutative witnesses | statement | theorem 4.5 | arxiv |
| An interval of nonfinitely based varieties | statement | corollary 3.3 | arxiv |
| A membership characterization | statement | corollary 5.18 | arxiv |
| 4WN74MSJBK | statement | lemma 3.5 | arxiv |
| 57CEFHADPC | statement | corollary 4.7 | arxiv |
| Subdirect Brandt representation | statement | theorem 5.9 | arxiv |
| 6KBED46GJY | statement | theorem 5.31 | arxiv |
| 6VA8K2QVH7 | statement | corollary 5.25 | arxiv |
| 6Y2QZPEW54 | statement | lemma 4.4 | arxiv |
| All finite natural inverse semirings | statement | theorem 5.17 | arxiv |
| 8PKWYKQ8WQ | statement | theorem 5.19 | arxiv |
| 91SDZSPW7Y | statement | corollary 5.20 | arxiv |
| 97CDB1TFVG | statement | theorem 6.11 | arxiv |
| AAD9X52CYJ | statement | theorem 5.11 | arxiv |
| BSX7WRMP8F | statement | theorem 3.2 | arxiv |
| A subdirect representation for Clifford semirings | statement | theorem 5.5 | arxiv |
| A second star can be omitted | statement | lemma 3.13 | arxiv |
| CV9XZTJJRX | statement | corollary 5.10 | arxiv |
| D1J174Q3B5 | statement | corollary 5.30 | arxiv |
| D5XJQ2FRBQ | statement | lemma 4.1 | arxiv |
| DD91TN5V2K | statement | theorem 5.22 | arxiv |
| DDGPVHGPQM | statement | theorem 7.4 | arxiv |
| DQPQGZ1FV3 | statement | proposition 2.2 | arxiv |
| An infinite finitely based extension | statement | proposition 6.7 | arxiv |
| DYWJS4730N | statement | theorem 3.18 | arxiv |
| The arbitrary-cardinality Clifford reduction | statement | corollary 5.4 | arxiv |
| EBP528QSCV | statement | corollary 5.26 | arxiv |
| ERZFJCR9R2 | statement | lemma 5.13 | arxiv |
| Brandt monoid reduction | statement | theorem 6.4 | arxiv |
| Capture criterion | statement | lemma 3.12 | arxiv |
| The exact flat-group reduction | statement | theorem 4.6 | arxiv |
| A colored Euler criterion | statement | theorem 3.20 | arxiv |
| The smallest nonfinitely based regular example | statement | theorem 5.28 | arxiv |
| Finite traces | statement | lemma 6.8 | arxiv |
| The cut condition over abelian groups | statement | corollary 3.22 | arxiv |
| HSS27K06WF | statement | proposition 6.9 | arxiv |
| The prism identity | statement | lemma 3.6 | arxiv |
| Sparse prism systems | statement | corollary 3.17 | arxiv |
| Brandt monoids of finite exponent | statement | corollary 6.6 | arxiv |
| Complete finite regular flat classification | statement | theorem 5.3 | arxiv |
| Local representation | statement | lemma 3.10 | arxiv |
| KK02CR7JA0 | statement | lemma 4.2 | arxiv |
| M67BX5RRSW | statement | theorem 6.12 | arxiv |
| MJ0WQ6WFTQ | statement | proposition 5.27 | arxiv |
| Zero smash products | statement | lemma 2.1 | arxiv |
| P1XQ7PFM6Y | statement | theorem 3.1 | arxiv |
| P4Y684J6AS | statement | lemma 7.2 | arxiv |
| PTTABM00BT | statement | lemma 3.23 | arxiv |
| PXQX75SE2J | statement | corollary 7.3 | arxiv |
| A separating sandwich identity | statement | lemma 5.15 | arxiv |
| QG6ABVRTDN | statement | theorem 6.1 | arxiv |
| A free quotient over every coefficient ring | statement | lemma 3.9 | arxiv |
| SKSYPG5PVN | statement | proposition 7.1 | arxiv |
| Finite natural inverse monoids | statement | corollary 6.2 | arxiv |
| T4QH17KBJ7 | statement | theorem 6.3 | arxiv |
| Tree--dual-tree inequality | statement | lemma 3.19 | arxiv |
| All Brandt index sets | statement | corollary 3.4 | arxiv |
| TTG09N0EMJ | statement | lemma 5.12 | arxiv |
| Conservativity of an absorbing constant | statement | lemma 2.4 | arxiv |
| All finite natural Clifford semirings | statement | corollary 5.7 | arxiv |
| Exact graph--group criterion | statement | theorem 3.21 | arxiv |
| Small cuts of a prism | statement | lemma 3.7 | arxiv |
| XCXH446T5H | statement | theorem 3.16 | arxiv |
| XHKPG108ZE | statement | corollary 6.5 | arxiv |
| XJ4XMHKKHQ | statement | corollary 4.3 | arxiv |
| Exact variety of an orthogonal sum | statement | theorem 2.3 | arxiv |
| Unique minimum cyclic-variety generators | statement | theorem 5.29 | arxiv |
| Transfer and the absorbing constant | statement | lemma 5.14 | arxiv |
| ZDX9C115ZH | statement | corollary 7.5 | arxiv |
| Varieties containing $S_7$ | statement | theorem 5.16 | arxiv |
| Scalar integer labels | statement | corollary 3.11 | arxiv |
| All non-Clifford regular flat semirings | statement | theorem 5.2 | arxiv |
