Centre for Mathematics, University of Coimbra

<Reference List>
Type:	Preprint
National /International:	International
Title:	On infinite variants of De Morgan law in locale theory
Publication Date:	2020-01-24
Authors:	- Igor Arrieta Torres
Abstract:	A locale, being a complete Heyting algebra, satisfies De Morgan law (a ∨ b)^∗ = a^∗ ∧ b^∗ for pseudocomplements. The dual De Morgan law (a ∧ b)^∗ = a^∗ ∨ b^∗ (here referred to as the second De Morgan law) is equivalent to, among other conditions, (a ∨ b)^∗∗ = a^∗∗ ∨ b^∗∗ , and characterizes the class of extremally disconnected locales. This paper presents a study of the subclasses of extremally disconnected locales determined by the infinite versions of the second De Morgan law and its equivalents.
Institution:	DMUC 20-03
Online version:	http://www.mat.uc.pt...prints/eng_2020.html
Download:	Not available