Decidability and structure

Idziak, Paweł

Banach Center Publications, Tome 50 (1999), p. 125-135 / Harvested from The Polish Digital Mathematics Library

Détail

Publié le : 1999-01-01

Zbl 0935.03016

EUDML-ID : urn:eudml:doc:208917

Bibliographie

[000] [1] S. Burris and R. McKenzie, Decidability and Boolean Representation, Memoirs Amer. Math. Soc., 246(1981). | Zbl 0483.03019

[001] [2] S. Burris and H. P. Sankappanavar, A Course in Universal Algebra, Springer Verlag 1981.

[002] [3] S. Burris, R. McKenzie and M. Valeriote, Decidable discriminator varieties from unary varieties, Journal of Symbolic Logic, 56(1991), 1355-1368. | Zbl 0747.08008

[003] [4] S. D. Comer, Elementary properties of structures of sections, Bol. Soc. Mat. Mexicana, 19(1974), 78-85. | Zbl 0338.02032

[004] [5] A. Ehrenfeucht, Decidability of the theory of one function, Notices Amer. Math. Soc., 6(1959), 268.

[005] [6] R. Freese and R. McKenzie, Commutator theory for congruence modular varieties, London Math. Soc. Lecture Notes, 125, 1987. | Zbl 0636.08001

[006] [7] H. P. Gumm, Geometrical methods in congruence modular varieties, Memoirs Amer. Math. Soc., 289(1983). | Zbl 0547.08006

[007] [8] J. Hagemann and C. Herrmann, A concrete ideal multiplication for algebraic systems and its relation to congruence distributivity, Archive der Mathematik, 32(1979), 234-245. | Zbl 0419.08001

[008] [9] D. Hobby and R. McKenzie, The Structure of Finite Algebras, Amer. Math. Soc., Contemporary Mathematics Volume 76, Providence, 1988. | Zbl 0721.08001

[009] [10] K. Idziak and P. M. Idziak, Decidability problem for finite Heyting algebras, Journal of Symbolic Logic, 53(1988), 729-735. | Zbl 0664.06008

[010] [11] P. M. Idziak, Reduced sub-powers and the decision problem for finite algebras in arithmetical varieties, Algebra Universalis, 25(1988), 365-383. | Zbl 0671.03004

[011] [12] P. M. Idziak, Varieties with decidable finite algebras I: linearity, Algebra Universalis, 26(1989), 234-246. | Zbl 0679.08002

[012] [13] P. M. Idziak, Varieties with decidable finite algebras II: permutability, Algebra Universalis, 26(1989), 247-256. | Zbl 0679.08003

[013] [14] P. M. Idziak, Sheaves in universal algebra and model theory, Part I, Reports on Mathematical Logic, 23(1989), 39-65. | Zbl 0746.03036

[014] [15] P. M. Idziak, Sheaves in universal algebra and model theory, Part II, Reports on Mathematical Logic, 24(1990), 61-86. | Zbl 0761.03013

[015] [16] P. M. Idziak, A characterization of finitely decidable congruence modular varieties, Trans. Amer. Math. Soc., 349(1997), 903-934. | Zbl 0861.08009

[016] [17] P. M. Idziak and M. Valeriote, A property of the solvable radical in finitely decidable varieties. manuscript 1992. | Zbl 0996.08007

[017] [18] P. M. Idziak and M. Valeriote, The centralizer in finitely decidable varieties. manuscript 1996. | Zbl 0996.08007

[018] [19] J. Jeong, On finitely decidable varieties, Ph.D. Thesis, Univ. California, Berkeley, 1991.

[019] [20] J. Jeong, Finitary decidability implies permutability for congruence modular varieties, Algebra Universalis, 29(1992), 441-448. | Zbl 0761.08003

[020] [21] J. Jeong, Finitely decidable congruence modular varieties, Trans. Amer. Math. Soc., 339(1993), 623-642. | Zbl 0788.08004

[021] [22] J. Jeong, Type 2 subdirectly irreducible algebras in finitely decidable varieties, Journal of Algebra, 174(1995), 772-793. | Zbl 0831.08004

[022] [23] I. A. Lavrov, Effective inseparability of the sets of identically true formulae and finitely refutable formulae for certain elementary theories, (Russian) Algebra i Logika, 2(1963), 5-18.

[023] [24] R. McKenzie and M. Valeriote, The Structure of Decidable Locally Finite Varieties, Birkhäuser, Boston, 1989. | Zbl 0702.08001

[024] [25] F. Point, Problèmes de décidabilité pour les théories de modules, Bull. Soc. Math. Belg. Ser. B, 38(1986), 58-74. | Zbl 0612.03018

[025] [26] F. Point, Decidability questions for theories of modules, Proc. of Logic Colloquium '90 (Helsinki, 1990), Lecture Notes in Logic, vol. 2, pp. 266-280, Springer, Berlin, 1993. | Zbl 0795.03016

[026] [27] F. Point and M. Prest, Decidability for theories of modules, J. London Math. Soc. (2), 38(1988), 193-206. | Zbl 0667.03028

[027] [28] M. Prest, Model theory and modules, London Math. Soc. Lecture Notes, 130, 1988.

[028] [29] M. Prest, Wild representation type and undecidability, Comm. Algebra, 19(1991), 919-929. | Zbl 0735.16011

[029] [30] M. O. Rabin, Decidability of second order theories and automata on infinite trees, Trans. Amer. Math. Soc., 141(1969), 1-35. | Zbl 0221.02031

[030] [31] J. D. H. Smith, Malcev Varieties, Lectures Notes in Mathematics, vol.554, Springer Verlag 1976.

[031] [32] W. Szmielew, Elementary properties of Abelian groups, Fund. Math., 55(1955), 203-271. | Zbl 0064.00803

[032] [33] A. Tarski, Arithmetical classes and types of Boolean algebras, Bull. Amer. Math. Soc., 55(1949), 64.

[033] [34] M. Valeriote, On decidable locally finite varieties, Ph.D. Thesis, Univ. California, Berkeley, 1986

[034] [35] M. Valeriote, On solvable congruences in finitely decidable varieties, Mathematical Logic Quarterly, 40(1994), 398-414. | Zbl 0811.08003

[035] [36] M. Valeriote and R. Willard, Some properties of finitely decidable varieties, International Journal of Algebra and Computation, 2(1992), 89-101. | Zbl 0759.08007

[036] [37] M. Valeriote and R. Willard, Discriminating varieties, Algebra Universalis, 32(1994), 177-188. | Zbl 0814.08008

[037] [38] H. Werner, Discriminator Algebras, Studien zur Algebra und ihre Anwendungen, Band 6, Akademie-Verlag, Berlin 1978.

[038] [39] R. Willard, Decidable discriminator varieties from unary classes, Trans. Amer. Math. Soc., 336(1993), 311-333. | Zbl 0776.03013

[039] [40] R. Willard, Decidable discriminator varieties with lattice stalks, Algebra Universalis, 31(1994), 177-194. | Zbl 0810.08005

[040] [41] R. Willard, Hereditary undecidability of some theories of finite structures, Journal of Symbolic Logic, 59(1994), 1254-1262. | Zbl 0815.03029

[041] [42] A. P. Zamyatin, A prevariety of semigroups whose elementary theory is solvable, Algebra and Logic, 12(1973), 233-241.

[042] [43] A. P. Zamyatin, Varieties of associative rings whose elementary theory is decidable, Soviet Math. Dokl., 17(1976), 996-999. | Zbl 0356.02041

[043] [44] A. P. Zamyatin, A non-Abelian variety of groups has an undecidable elementary theory, Algebra and Logic, 17(1978), 13-17. | Zbl 0427.03009

[044] [45] A. P. Zamyatin, Prevarieties of associative rings whose elementary theory is decidable, Soviet Math. Dokl., 19(1978), 890-901. | Zbl 0427.03019