Previous Page 3

Displaying 41 – 57 of 57

Showing per page

Separation properties in congruence lattices of lattices

Miroslav Ploščica (2000)

Colloquium Mathematicae

We investigate the congruence lattices of lattices in the varieties n . Our approach is to represent congruences by open sets of suitable topological spaces. We introduce some special separation properties and show that for different n the lattices in n have different congruence lattices.

Some questions of Arhangel'skii on rotoids

Harold Bennett, Dennis Burke, David Lutzer (2012)

Fundamenta Mathematicae

A rotoid is a space X with a special point e ∈ X and a homeomorphism F: X² → X² having F(x,x) = (x,e) and F(e,x) = (e,x) for every x ∈ X. If any point of X can be used as the point e, then X is called a strong rotoid. We study some general properties of rotoids and prove that the Sorgenfrey line is a strong rotoid, thereby answering several questions posed by A. V. Arhangel'skii, and we pose further questions.

Topological Interpretation of Rough Sets

Adam Grabowski (2014)

Formalized Mathematics

Rough sets, developed by Pawlak, are an important model of incomplete or partially known information. In this article, which is essentially a continuation of [11], we characterize rough sets in terms of topological closure and interior, as the approximations have the properties of the Kuratowski operators. We decided to merge topological spaces with tolerance approximation spaces. As a testbed for our developed approach, we restated the results of Isomichi [13] (formalized in Mizar in [14]) and...

Currently displaying 41 – 57 of 57

Previous Page 3