Murdoch University Research Repository

Welcome to the Murdoch University Research Repository

The Murdoch University Research Repository is an open access digital collection of research
created by Murdoch University staff, researchers and postgraduate students.

Learn more

Internalizing equality in Boolean algebras

Fearnley-Sander, D. and Stokes, T. (2000) Internalizing equality in Boolean algebras. Algebra Universalis, 43 (2-3). pp. 187-196.

Link to Published Version: http://dx.doi.org/10.1007/s000120050152
*Subscription may be required

Abstract

We show that equality may be internalized in Boolean algebras, in a number of possible ways, as a binary operation satisfying reflexivity and replacement properties. The variety of equality Boolean rings is shown to be equivalent to the variety of modal rings (Boolean rings endowed with a generalised interior operator and important in modal logic). Varying the strength and exact nature of the replacement property corresponds to selecting from a number of natural varieties of modal rings. The work generalises a result of Suszko who considered the S4 case.

Item Type: Journal Article
Murdoch Affiliation: School of Mathematical and Physical Sciences
Publisher: Springer
Copyright: © 2000 Birkhäuser Verlag Basel
URI: http://researchrepository.murdoch.edu.au/id/eprint/35872
Item Control Page Item Control Page