Page 1 Next

Displaying 1 – 20 of 50

Showing per page

The completely distributive lattice of machine invariant sets of infinite words

Aleksandrs Belovs, Jānis Buls (2007)

Discussiones Mathematicae - General Algebra and Applications

We investigate the lattice of machine invariant classes. This is an infinite completely distributive lattice but it is not a Boolean lattice. The length and width of it is c. We show the subword complexity and the growth function create machine invariant classes.

The essential cover and the absolute cover of a schematic space

Wolfgang Rump, Yi Chuan Yang (2009)

Colloquium Mathematicae

A theorem of Gleason states that every compact space admits a projective cover. More generally, in the category of topological spaces with continuous maps, covers exist with respect to the full subcategory of extremally disconnected spaces. Such a cover of a space is called its absolute. We prove that the absolute exists within the category of schematic spaces, i.e. the spaces underlying a scheme. For a schematic space, we use the absolute to generalize Bourbaki's concept of irreducible component,...

The existence of states on every Archimedean atomic lattice effect algebra with at most five blocks

Zdena Riečanová (2008)

Kybernetika

Effect algebras are very natural logical structures as carriers of probabilities and states. They were introduced for modeling of sets of propositions, properties, questions, or events with fuzziness, uncertainty or unsharpness. Nevertheless, there are effect algebras without any state, and questions about the existence (for non-modular) are still unanswered. We show that every Archimedean atomic lattice effect algebra with at most five blocks (maximal MV-subalgebras) has at least one state, which...

Currently displaying 1 – 20 of 50

Page 1 Next