Volume 24; Issue 1-2

Algebra Universalis

Volume 24; Issue 1-2
1

Decidable unary varieties

Year:
1987
Language:
english
File:
PDF, 759 KB
english, 1987
2

Heyting*algebras, topological boolean algebras and P.O. systems

Year:
1987
Language:
english
File:
PDF, 607 KB
english, 1987
3

On atoms in the lattice of quasivarieties

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

Finite equational bases for subalgebra distributive varieties

Year:
1987
Language:
english
File:
PDF, 235 KB
english, 1987
5

Primitive positive clones which are endomorphism clones

Year:
1987
Language:
english
File:
PDF, 361 KB
english, 1987
6

Tidy Noether lattices

Year:
1987
Language:
english
File:
PDF, 535 KB
english, 1987
7

Biatomic lattices

Year:
1987
Language:
english
File:
PDF, 653 KB
english, 1987
8

Affine complete varieties

Year:
1987
Language:
english
File:
PDF, 888 KB
english, 1987
9

Arguesian lattices whose skeleton is a chain

Year:
1987
Language:
english
File:
PDF, 583 KB
english, 1987
10

Saturated algebras in filtral varieties

Year:
1987
Language:
english
File:
PDF, 636 KB
english, 1987
11

Modules: Duals and principally generated fake duals

Year:
1987
Language:
english
File:
PDF, 552 KB
english, 1987
12

The word problem for Heyting algebras

Year:
1987
Language:
english
File:
PDF, 466 KB
english, 1987
13

Coherent De Morgan algebras

Year:
1987
Language:
english
File:
PDF, 419 KB
english, 1987
14

Operation inducing systems

Year:
1987
Language:
english
File:
PDF, 667 KB
english, 1987
15

Interpretations into Heyting algebras

Year:
1987
Language:
english
File:
PDF, 617 KB
english, 1987
16

The infinite case of the edge-orbit conjecture

Year:
1987
Language:
english
File:
PDF, 98 KB
english, 1987
17

On the scarcity of contravariant left adjunctions

Year:
1987
Language:
english
File:
PDF, 1.05 MB
english, 1987
18

A note on algebraically and existentially closed structures

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

On the behaviour of congruence-functors

Year:
1987
Language:
english
File:
PDF, 197 KB
english, 1987
20

A × Acongruence coherent impliesAcongruence permutable

Year:
1987
Language:
english
File:
PDF, 62 KB
english, 1987
21

Finite models are one-generated

Year:
1987
Language:
english
File:
PDF, 141 KB
english, 1987