Andréka, Hajnal and Németi, István and Tuza, Zsolt (2025) Transposition of variables is hard to axiomatize. ANNALS OF PURE AND APPLIED LOGIC, 176 (10). No.-103650. ISSN 0168-0072
|
Text
1-s2.0-S0168007225000995-main.pdf - Published Version Available under License Creative Commons Attribution. Download (1MB) | Preview |
Official URL: https://doi.org/10.1016/j.apal.2025.103650
| Item Type: | Article |
|---|---|
| Uncontrolled Keywords: | Finite-variable first-order logic, Polyadic equality algebra, Cylindric algebra, Algebraic logic, Transformation semigroup, Affine Galois plane |
| Subjects: | Q Science / természettudomány > QA Mathematics / matematika |
| SWORD Depositor: | MTMT SWORD |
| Depositing User: | MTMT SWORD |
| Date Deposited: | 04 Sep 2025 08:05 |
| Last Modified: | 04 Sep 2025 08:05 |
| URI: | https://real.mtak.hu/id/eprint/223441 |
Actions (login required)
 |
Edit Item |
