References
Tarski A., “Arithmetical classes and types of Boolean algebras,” Bull. Amer. Math. Soc.,55, 63 (1949).
Ershov Yu. L., “Decidability of the elementary theory of distributive structures with relative complements and the theory of filters,” Algebra i Logika,3, No. 3, 17–38 (1964).
Rabin M. O., “Decidability of second-order theories and automata on infinite trees,” Trans. Amer. Math. Soc., No. 141, 1–35 (1969).
Morozov A. S., “On decidability of the theories of Boolean algebras with a distinguished ideal,” Sibirsk. Mat. Zh.,23, No. 1, 199–201 (1982).
Alaev P. E., “Scott ranks of Boolean algebras,” in: Trudy Inst. Mat. Sibirsk. Otdel. Ross. Akad. Nauk. Vol. 30 [in Russian], 1996, pp. 3–25.
Kramer V. Yu., “m-Equivalence of Boolean algebras,” Vychislitel’nye Sistemy,161, 76–105 (1998).
Pal’chunov D. E., “On undecidability of the theories of Boolean algebras with a distinguished ideal,” Algebra i Logika,25, No. 3, 326–346 (1986).
Pal’chunov D. E., Countably Categorical Boolean Algebras with Distinguished Ideals [in Russian], [Preprint, No. 12], Inst. Mat. (Novosibirsk), Novosibirsk (1986).
Pal’chunov D. E., “Finitely axiomatizable Boolean algebras with distinguished ideals,” Algebra i Logika,16, No. 4, 435–455 (1987).
Taîmanov A. D., “Characteristics of axiomatizable classes of models,” Algebra i Logika,1, No. 4, 4–31 (1962).
Fraissé R., “Isomorphisme local et équivalence associés à un ordinal; utilité en calcul des formules infinies à quanteurs finis,” Tarski Symposium, Berkeley, 241–254 (1971).
Fraissé R., “Sur quelques classifications des systems de relations,” Publications Sc. de l’Université D’Alger I, 35–182 (1955).
Ehrenfeucht A., “An application of games to the completeness problem for formalized theories,” Fund. Math.,49 129–141 (1961).
Goncharov S. S., Countable Boolean Algebras [in Russian], Nauka, Moscow (1988).
Additional information
Novosibirsk. Translated fromSibirskiî Matematicheskiî Zhurnal, Vol. 41, No. 5, pp. 1126–1143, September–October, 2000.
Rights and permissions
About this article
Cite this article
Pyrkin, S.G. Complete description form-equivalence types of superatomicI-algebras. Sib Math J 41, 924–939 (2000). https://doi.org/10.1007/BF02674749
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02674749