Free Set Algebras Satisfying Systems of Equations

Antonelli, G. Aldo

J. Symbolic Logic, Tome 64 (1999) no. 1, p. 1656-1674 / Harvested from Project Euclid

Résumé

In this paper we introduce the notion of a set algebra $\mathscr{S}$ satisfying a system $\mathscr{E}$ equations. After defining a notion of freeness for such algebras, we show that, for any system $\mathscr{E}$ of equations, set algebras that are free in the class of structures satisfying $\mathscr{E}$ exist and are unique up to a bisimulation. Along the way, analogues of classical set-theoretic and algebraic properties are investigated.

Publié le : 1999-12-14
Classification:

@article{1183745945,
     author = {Antonelli, G. Aldo},
     title = {Free Set Algebras Satisfying Systems of Equations},
     journal = {J. Symbolic Logic},
     volume = {64},
     number = {1},
     year = {1999},
     pages = { 1656-1674},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183745945}
}

Antonelli, G. Aldo. Free Set Algebras Satisfying Systems of Equations. J. Symbolic Logic, Tome 64 (1999) no. 1, pp.  1656-1674. http://gdmltest.u-ga.fr/item/1183745945/