2

THE HORN THEORY OF BOOLE'S PARTIAL ALGEBRAS

Year:
2013
Language:
english
File:
PDF, 750 KB
english, 2013
3

A note on algebraically and existentially closed structures

Year:
1987
Language:
english
File:
PDF, 86 KB
english, 1987
4

Tarski's High School Identities

Year:
1993
Language:
english
File:
PDF, 536 KB
english, 1993
6

Partition identities II. The results of Bateman and Erdős

Year:
2006
Language:
english
File:
PDF, 257 KB
english, 2006
7

Finite axiomatizations for existentially closed posets and semilattices

Year:
1986
Language:
english
File:
PDF, 460 KB
english, 1986
8

Elementary and algebraic properties of the Arens-Kaplansky constructions

Year:
1986
Language:
english
File:
PDF, 1.52 MB
english, 1986
9

Results on the equivalence problem for finite groups

Year:
2005
Language:
english
File:
PDF, 132 KB
english, 2005
10

Boolean powers

Year:
1975
Language:
english
File:
PDF, 1.03 MB
english, 1975
11

An example concerning definable principal congruences

Year:
1977
Language:
english
File:
PDF, 60 KB
english, 1977
12

Definable principal congruences in varieties of groups and rings

Year:
1979
Language:
english
File:
PDF, 487 KB
english, 1979
13

SMALL MODELS OF THE HIGH SCHOOL IDENTITIES

Year:
1992
Language:
english
File:
PDF, 1.12 MB
english, 1992
14

TERM REWRITE RULES FOR FINITE FIELDS

Year:
1991
Language:
english
File:
PDF, 539 KB
english, 1991
16

Sheaf constructions and their elementary properties

Year:
1979
Language:
english
File:
PDF, 3.64 MB
english, 1979
17

Tarski's High School Identities

Year:
1993
Language:
english
File:
PDF, 488 KB
english, 1993
18

The Model Completion of the Class of ℒ-Structures

Year:
1987
Language:
english
File:
PDF, 116 KB
english, 1987
19

Decidable Model Companions

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

Model Companions with Finitely Many Countable Models

Year:
1994
Language:
english
File:
PDF, 111 KB
english, 1994
21

Polynomial Time Uniform Word Problems

Year:
1995
Language:
english
File:
PDF, 587 KB
english, 1995
22

Discriminator varieties and symbolic computation

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

Iterated discriminator varieties have undecidable theories

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

Remarks on the Fraser-Horn property

Year:
1986
Language:
english
File:
PDF, 156 KB
english, 1986
25

Expanding varieties by monoids of endomorphisms

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

Discriminator polynomials and arithmetical varieties

Year:
1985
Language:
english
File:
PDF, 127 KB
english, 1985
27

A simple proof of the hereditary undecidability of the theory of lattice-ordered abelian groups

Year:
1985
Language:
english
File:
PDF, 90 KB
english, 1985
28

The equational theory of a nontrivial discriminator variety is co-NP-hard

Year:
2005
Language:
english
File:
PDF, 158 KB
english, 2005
29

The saga of the High School Identities

Year:
2005
Language:
english
File:
PDF, 247 KB
english, 2005
30

Mailbox¶Boolean products of indecomposables

Year:
2002
Language:
english
File:
PDF, 125 KB
english, 2002
31

Unification in commutative rings is not finitary

Year:
1990
Language:
english
File:
PDF, 155 KB
english, 1990
33

Remarks on Boolean products

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

Free algebras as subdirect products

Year:
1980
Language:
english
File:
PDF, 47 KB
english, 1980
35

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

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

A note on directly indecomposable algebras

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

Separating sets in modular lattices with applications to congruence lattices

Year:
1975
Language:
english
File:
PDF, 427 KB
english, 1975
39

Lattice-theoretic decision problems in universal algebra

Year:
1975
Language:
english
File:
PDF, 732 KB
english, 1975
40

Rigid Boolean powers

Year:
1978
Language:
english
File:
PDF, 96 KB
english, 1978
41

Bounded Boolean powers and ≡n

Year:
1978
Language:
english
File:
PDF, 56 KB
english, 1978
43

Reply

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

ABSTRACT NUMBER SYSTEMS AND LOGICAL LIMIT LAWS

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

On the structure of the lattice of equational classes ℒ (τ)

Year:
1971
Language:
english
File:
PDF, 298 KB
english, 1971
48

Septicemia and subperiosteal cephalhematomas

Year:
1966
Language:
english
File:
PDF, 255 KB
english, 1966