1 citations · 1 across the 4 of their papers we have counts for
Showing math.LOShow all
3 papers · 1 filter
math.LO2021★ 1 cited
Consequence Relations An Introduction to the Tarski-Lindenbaum Method
Alex Citkin, Alexei Muravitsky
The book is devoted to the study of the field of application of the method, which arose from the concept of the Lindenbaum matrix by A. Lindenbaum and the Lindenbaum theorem, withi…
math.LO2019
Lindenbaum Method
Alex Citkin, Alexei Muravitsky
During his brief life, the Polish mathematician and logician Adolf Lindenbaum (1904--1941) contributed to mathematical logic, among other things, by several significant achievement…
math.LO2017
Projective Algebras and Primitive Subquasivarieties in Varieties with Factor Congruences
Alex Citkin
We prove that in the varieties where every compact congruence is a factor congruence and every nontrivial algebra contains a minimal subalgebra, a finitely presented algebra is pro…