Virtual Algebraic Isomorphisms between Predicate Calculi of Finite Rich Signatures

Peretyat’kin M.G.
January 2022 Springer

Algebra and Logic
2022 #60 Issue 6 389 - 406 pp.

It is proved that every two predicate calculi of finite rich signatures are algebraically virtually isomorphic, i.e., some of their Cartesian extensions are algebraically isomorphic. As an important application, it is stated that for predicate calculi in any two finite rich signatures, there exists a computable isomorphism between their Tarski–Lindenbaum algebras which preserves all model-theoretic properties of algebraic type corresponding to the real practice of research in model theory.

predicate calculi , Tarski–Lindenbaum algebra , virtual algebraic isomorphisms

Text of the article Перейти на текст статьи

Institute of Mathematics and Mathematical Modeling, Ministry of Education and Science RK, Alma-Ata, Kazakhstan

Institute of Mathematics and Mathematical Modeling

10 лет помогаем публиковать статьи Международный издатель

Книга Публикация научной статьи Волощук 2026 Book Publication of a scientific article 2026