Classification in Finite Model Theory

• Autorzy: Idziak P.
• Języki publikacji: PL
• Wydawca: Wydawnictwo Uniwersytetu Jagiellońskiego
• Czasopismo: Schedae Informaticae
• Rocznik: 2003
• Tom: Vol. 12
• Strony: 85--95
• Opis fizyczny: Bibliogr. 28 poz.

Twórcy

autor

Idziak P.

• Institute of Computer Science, Jagiellonian University, Nawojki 11, Kraków, PL 30-072, Poland,

Bibliografia

• [1] Berman J., Idziak P.M.; Counting finite algebras in the Post varieties, International Journal of Algebra and Computation, Vol. 10, 2000, pp. 323–337.
• [2] Berman J., Idziak P.M.; Generative complexity in algebra, manuscript 2002, 204 pp.
• [3] Bilski M.; Generative complexity in semigroups varieties, Journal of Pure and Applied Algebra, Vol. 165, 2001, pp. 137–149.
• [4] Burris S.; Spectrally determined first-order limit laws, in: R. Boppana and J. Lynch, (eds.), Logic and Random Structures, DIMACS Series in: Discrete Mathematics and Theoretical Computer Science, Amer. Math. Soc., Vol. 33, 997, pp. 33–52.
• [5] Burris S.; Number theoretic density and logical limit laws, Mathematical Surveys and Monographs, 86. American Mathematical Society, Providence, RI, 2001.
• [6] Burris S., Compton K.; Fine spectra and limit laws. I. First order laws, Canad. J. Math., Vol. 49, 1997, pp. 468–498.
• [7] Burris S., Compton K., Odlyzko A., Richmond B.; Fine spectra and limit laws. II. First-order 0-1 laws, Canad. J. Math., Vol. 49, 1997, pp. 641–652.
• [8] Burris S., Idziak P.; A directly representable variety has a discrete first-order law, International J. of Algebra and Computation, Vol. 6, 1996, pp. 269–276.
• [9] Clark D., Krauss P.; Plain para primal algebras, Algebra Universalis, Vol. 11, 1980, pp. 365–388.
• [10] Compton K.; personal communication.
• [11] Fagin R.; Generalized first-order spectra and polynomial-time recognizable sets, in: R. Karp, (ed.), Complexity and Computation, SIAM-AMS Proceedings, Vol. 7, 1974, pp. 43–73.
• [12] Freese R., McKenzie R.; Commutator Theory for Congruence Modular Varieties, London Math. Soc. Lecture Notes, Vol. 125, Cambridge University Press, Cambridge 1987.
• [13] Gumm H.P.; Geometrical methods in congruence modular varieties, Memoirs Amer. Math. Soc., Vol. 289, 1983.
• [14] Hagemann J., Herrmann C.; A concrete ideal multiplication for algebraic systems and its relation to congruence distributivity, Archive der Mathematik, Vol. 32, 1979, pp. 234–245.
• [15] Hart B., Valeriote M.; A structure theorem for strongly abelian varieties with few models, Journal of Symbolic Logic, Vol. 56, 1991, pp. 832–852.
• [16] Hart B., Starchenko S., Valeriote M.; Vaught’s conjecture for varieties, Trans. Amer. Math. Soc., Vol. 342, 1994, pp. 173–196.
• [17] Hobby D., McKenzie R.; The Structure of Finite Algebras, Contemporary Mathematics, Amer. Math. Soc., Providence, RI, 1988, Vol. 76.
• [18] Idziak P., McKenzie R.; Varieties with very few models, Fundamenta Mathematicae, Vol. 170, 2001, pp. 53–68.
• [19] Idziak P., McKenzie R., Valeriote M.; The structure of locally finite varieties with polynomially many models, manuscript 2002, 71 pp.
• [20] Idziak P., Tyszkiewicz J.; Monadic second order probabilities in algebra. Directly representable varieties and groups, in: R. Boppana and J. Lynch, (eds.), Logic and Random Structures, DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Amer. Math. Soc., Vol. 33, 1997, pp. 79–107.
• [21] Lynch J.F.; Probabilities of first-order sentences about unary functions, Trans. Amer. Math. Soc., Vol. 287, 1985, pp. 543–568.
• [22] McKenzie R.; Locally finite varieties with large free spectra, Algebra Universalis, Vol. 47, 2002, pp. 303–318.
• [23] McKenzie R., Valeriote M.; The Structure of Decidable Locally Finite Varieties, Birkh¨auser, Boston 1989.
• [24] Quackenbush R.W.; Algebras with minimal spectrum, Algebra Universalis, Vol. 10, 1980, pp. 117–129.
• [25] Quackenbush R.W.; Enumeration in classes of ordered structures, in: Ordered Sets (Banff, Alta., 1981), Reidel, Dordrecht–Boston, MA, 1982, pp. 523–554.
• [26] Smith J.D.H.; Mal’cev Varieties, Lecture Notes in Mathematics, Vol. 554, Springer–Verlag, Berlin 1976.
• [27] Taylor W.; The fine spectrum of a variety, Algebra Universalis, Vol. 5, 1975, pp. 263–303.
• [28] Taylor W.; Equational Logic, in: G. Gr¨atzer, Universal Algebra, 2nd ed., Springer–Verlag, NY 1979, pp. 378–400.