Displaying 101 – 120 of 3879

Showing per page

A metrizable completely regular ordered space

Hans-Peter A. Künzi, Stephen W. Watson (1994)

Commentationes Mathematicae Universitatis Carolinae

We construct a completely regular ordered space ( X , 𝒯 , ) such that X is an I -space, the topology 𝒯 of X is metrizable and the bitopological space ( X , 𝒯 , 𝒯 ) is pairwise regular, but not pairwise completely regular. (Here 𝒯 denotes the upper topology and 𝒯 the lower topology of X .)

A new approach to representation of observables on fuzzy quantum posets

Le Ba Long (1992)

Applications of Mathematics

We give a representation of an observable on a fuzzy quantum poset of type II by a pointwise defined real-valued function. This method is inspired by that of Kolesárová [6] and Mesiar [7], and our results extend representations given by the author and Dvurečenskij [4]. Moreover, we show that in this model, the converse representation fails, in general.

A new look at pointfree metrization theorems

Bernhard Banaschewski, Aleš Pultr (1998)

Commentationes Mathematicae Universitatis Carolinae

We present a unified treatment of pointfree metrization theorems based on an analysis of special properties of bases. It essentially covers all the facts concerning metrization from Engelking [1] which make pointfree sense. With one exception, where the generalization is shown to be false, all the theorems extend to the general pointfree context.

A non commutative generalization of -autonomous lattices

P. Emanovský, Jiří Rachůnek (2008)

Czechoslovak Mathematical Journal

Pseudo -autonomous lattices are non-commutative generalizations of -autonomous lattices. It is proved that the class of pseudo -autonomous lattices is a variety of algebras which is term equivalent to the class of dualizing residuated lattices. It is shown that the kernels of congruences of pseudo -autonomous lattices can be described as their normal ideals.

A note on Boolean algebras

Isaac Gorelic (1994)

Commentationes Mathematicae Universitatis Carolinae

We show that splitting of elements of an independent family of infinite regular size will produce a full size independent set.

A note on congruence systems of MS-algebras

M. Campercholi, Diego Vaggione (2007)

Mathematica Bohemica

Let L be an MS-algebra with congruence permutable skeleton. We prove that solving a system of congruences ( θ 1 , ... , θ n ; x 1 , ... , x n ) in L can be reduced to solving the restriction of the system to the skeleton of L , plus solving the restrictions of the system to the intervals [ x 1 , x ¯ ¯ 1 ] , , [ x n , x ¯ ¯ n ] .

Currently displaying 101 – 120 of 3879