TY - JOUR AU - M. G. Peretyat'kin TI - The Tarski-Lindenbaum algebra of the class of all prime strongly constructivizable models of algorithmic dimension one JO - Sibirskie èlektronnye matematičeskie izvestiâ PY - 2020 SP - 913 EP - 922 VL - 17 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/SEMR_2020_17_a17/ LA - en ID - SEMR_2020_17_a17 ER -