51

Expanding varieties by monoids of endomorphisms

Year:
1983
Language:
english
File:
PDF, 617 KB
english, 1983
53

Reply

Year:
2007
Language:
english
File:
PDF, 54 KB
english, 2007
54

Discriminator varieties and symbolic computation

Year:
1992
Language:
english
File:
PDF, 1.78 MB
english, 1992
55

Iterated discriminator varieties have undecidable theories

Year:
1985
Language:
english
File:
PDF, 287 KB
english, 1985
57

Remarks on Boolean products

Year:
1980
Language:
english
File:
PDF, 507 KB
english, 1980
58

Decidable Model Companions

Year:
1989
Language:
english
File:
PDF, 173 KB
english, 1989
59

The first order theory of Boolean algebras with a distinguished group of automorphisms

Year:
1982
Language:
english
File:
PDF, 231 KB
english, 1982
60

ABSTRACT NUMBER SYSTEMS AND LOGICAL LIMIT LAWS

Year:
2001
Language:
english
File:
PDF, 151 KB
english, 2001