Decidability and structure

Paweł Idziak

Banach Center Publications (1999)

  • Volume: 46, Issue: 1, page 125-135
  • ISSN: 0137-6934

How to cite

top

Idziak, Paweł. "Decidability and structure." Banach Center Publications 46.1 (1999): 125-135. <http://eudml.org/doc/208917>.

@article{Idziak1999,
author = {Idziak, Paweł},
journal = {Banach Center Publications},
keywords = {finitely decidable varieties; universal algebra; decidability; locally finite varieties; finitely generated varieties; varieties of finite type},
language = {eng},
number = {1},
pages = {125-135},
title = {Decidability and structure},
url = {http://eudml.org/doc/208917},
volume = {46},
year = {1999},
}

TY - JOUR
AU - Idziak, Paweł
TI - Decidability and structure
JO - Banach Center Publications
PY - 1999
VL - 46
IS - 1
SP - 125
EP - 135
LA - eng
KW - finitely decidable varieties; universal algebra; decidability; locally finite varieties; finitely generated varieties; varieties of finite type
UR - http://eudml.org/doc/208917
ER -

References

top
  1. [1] S. Burris and R. McKenzie, Decidability and Boolean Representation, Memoirs Amer. Math. Soc., 246(1981). Zbl0483.03019
  2. [2] S. Burris and H. P. Sankappanavar, A Course in Universal Algebra, Springer Verlag 1981. 
  3. [3] S. Burris, R. McKenzie and M. Valeriote, Decidable discriminator varieties from unary varieties, Journal of Symbolic Logic, 56(1991), 1355-1368. Zbl0747.08008
  4. [4] S. D. Comer, Elementary properties of structures of sections, Bol. Soc. Mat. Mexicana, 19(1974), 78-85. Zbl0338.02032
  5. [5] A. Ehrenfeucht, Decidability of the theory of one function, Notices Amer. Math. Soc., 6(1959), 268. 
  6. [6] R. Freese and R. McKenzie, Commutator theory for congruence modular varieties, London Math. Soc. Lecture Notes, 125, 1987. Zbl0636.08001
  7. [7] H. P. Gumm, Geometrical methods in congruence modular varieties, Memoirs Amer. Math. Soc., 289(1983). Zbl0547.08006
  8. [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. Zbl0419.08001
  9. [9] D. Hobby and R. McKenzie, The Structure of Finite Algebras, Amer. Math. Soc., Contemporary Mathematics Volume 76, Providence, 1988. Zbl0721.08001
  10. [10] K. Idziak and P. M. Idziak, Decidability problem for finite Heyting algebras, Journal of Symbolic Logic, 53(1988), 729-735. Zbl0664.06008
  11. [11] P. M. Idziak, Reduced sub-powers and the decision problem for finite algebras in arithmetical varieties, Algebra Universalis, 25(1988), 365-383. Zbl0671.03004
  12. [12] P. M. Idziak, Varieties with decidable finite algebras I: linearity, Algebra Universalis, 26(1989), 234-246. Zbl0679.08002
  13. [13] P. M. Idziak, Varieties with decidable finite algebras II: permutability, Algebra Universalis, 26(1989), 247-256. Zbl0679.08003
  14. [14] P. M. Idziak, Sheaves in universal algebra and model theory, Part I, Reports on Mathematical Logic, 23(1989), 39-65. Zbl0746.03036
  15. [15] P. M. Idziak, Sheaves in universal algebra and model theory, Part II, Reports on Mathematical Logic, 24(1990), 61-86. Zbl0761.03013
  16. [16] P. M. Idziak, A characterization of finitely decidable congruence modular varieties, Trans. Amer. Math. Soc., 349(1997), 903-934. Zbl0861.08009
  17. [17] P. M. Idziak and M. Valeriote, A property of the solvable radical in finitely decidable varieties. manuscript 1992. Zbl0996.08007
  18. [18] P. M. Idziak and M. Valeriote, The centralizer in finitely decidable varieties. manuscript 1996. Zbl0996.08007
  19. [19] J. Jeong, On finitely decidable varieties, Ph.D. Thesis, Univ. California, Berkeley, 1991. 
  20. [20] J. Jeong, Finitary decidability implies permutability for congruence modular varieties, Algebra Universalis, 29(1992), 441-448. Zbl0761.08003
  21. [21] J. Jeong, Finitely decidable congruence modular varieties, Trans. Amer. Math. Soc., 339(1993), 623-642. Zbl0788.08004
  22. [22] J. Jeong, Type 2 subdirectly irreducible algebras in finitely decidable varieties, Journal of Algebra, 174(1995), 772-793. Zbl0831.08004
  23. [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. 
  24. [24] R. McKenzie and M. Valeriote, The Structure of Decidable Locally Finite Varieties, Birkhäuser, Boston, 1989. Zbl0702.08001
  25. [25] F. Point, Problèmes de décidabilité pour les théories de modules, Bull. Soc. Math. Belg. Ser. B, 38(1986), 58-74. Zbl0612.03018
  26. [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. Zbl0795.03016
  27. [27] F. Point and M. Prest, Decidability for theories of modules, J. London Math. Soc. (2), 38(1988), 193-206. Zbl0667.03028
  28. [28] M. Prest, Model theory and modules, London Math. Soc. Lecture Notes, 130, 1988. 
  29. [29] M. Prest, Wild representation type and undecidability, Comm. Algebra, 19(1991), 919-929. Zbl0735.16011
  30. [30] M. O. Rabin, Decidability of second order theories and automata on infinite trees, Trans. Amer. Math. Soc., 141(1969), 1-35. Zbl0221.02031
  31. [31] J. D. H. Smith, Malcev Varieties, Lectures Notes in Mathematics, vol.554, Springer Verlag 1976. 
  32. [32] W. Szmielew, Elementary properties of Abelian groups, Fund. Math., 55(1955), 203-271. Zbl0064.00803
  33. [33] A. Tarski, Arithmetical classes and types of Boolean algebras, Bull. Amer. Math. Soc., 55(1949), 64. 
  34. [34] M. Valeriote, On decidable locally finite varieties, Ph.D. Thesis, Univ. California, Berkeley, 1986 
  35. [35] M. Valeriote, On solvable congruences in finitely decidable varieties, Mathematical Logic Quarterly, 40(1994), 398-414. Zbl0811.08003
  36. [36] M. Valeriote and R. Willard, Some properties of finitely decidable varieties, International Journal of Algebra and Computation, 2(1992), 89-101. Zbl0759.08007
  37. [37] M. Valeriote and R. Willard, Discriminating varieties, Algebra Universalis, 32(1994), 177-188. Zbl0814.08008
  38. [38] H. Werner, Discriminator Algebras, Studien zur Algebra und ihre Anwendungen, Band 6, Akademie-Verlag, Berlin 1978. 
  39. [39] R. Willard, Decidable discriminator varieties from unary classes, Trans. Amer. Math. Soc., 336(1993), 311-333. Zbl0776.03013
  40. [40] R. Willard, Decidable discriminator varieties with lattice stalks, Algebra Universalis, 31(1994), 177-194. Zbl0810.08005
  41. [41] R. Willard, Hereditary undecidability of some theories of finite structures, Journal of Symbolic Logic, 59(1994), 1254-1262. Zbl0815.03029
  42. [42] A. P. Zamyatin, A prevariety of semigroups whose elementary theory is solvable, Algebra and Logic, 12(1973), 233-241. 
  43. [43] A. P. Zamyatin, Varieties of associative rings whose elementary theory is decidable, Soviet Math. Dokl., 17(1976), 996-999. Zbl0356.02041
  44. [44] A. P. Zamyatin, A non-Abelian variety of groups has an undecidable elementary theory, Algebra and Logic, 17(1978), 13-17. Zbl0427.03009
  45. [45] A. P. Zamyatin, Prevarieties of associative rings whose elementary theory is decidable, Soviet Math. Dokl., 19(1978), 890-901. Zbl0427.03019

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.