变量的代换在量词和置换下是有限公理化的
逻辑
2025-06-17 v1
摘要
本文证明了代表性多值代数类 的等式理论在其无代换化简 上是有限公理化的，其中 为有限值。具体而言，有限变量的一阶逻辑中变量的代换可以用有限多条公理来描述，这些公理基于布尔运算、存在量词和变量的置换。
引用
@article{arxiv.2506.12458,
title = {Substitutions of variables are finitely axiomatizable over quantifications and permutations},
author = {Hajnal Andréka and Zalán Gyenis and István Németi},
journal= {arXiv preprint arXiv:2506.12458},
year = {2025}
}