All a b c d e f g h i j k l m n o p q r s t u v w x y z Other

Previous Page 31 Next

Displaying 601 – 620 of 710

Showing per page

The partially pre-ordered set of compactifications of Cp(X, Y)

A. Dorantes-Aldama, R. Rojas-Hernández, Á. Tamariz-Mascarúa (2015)

Topological Algebra and its Applications

In the set of compactifications of X we consider the partial pre-order defined by (W, h) ≤X (Z, g) if there is a continuous function f : Z ⇢ W, such that (f ∘ g)(x) = h(x) for every x ∈ X. Two elements (W, h) and (Z, g) of K(X) are equivalent, (W, h) ≡X (Z, g), if there is a homeomorphism h : W ! Z such that (f ∘ g)(x) = h(x) for every x ∈ X. We denote by K(X) the upper semilattice of classes of equivalence of compactifications of X defined by ≤X and ≡X. We analyze in this article K(Cp(X, Y)) where...

The prime and maximal spectra and the reticulation of BL-algebras

Laurenťiu Leuštean (2003)

Open Mathematics

In this paper we study the prime and maximal spectra of a BL-algebra, proving that the prime spectrum is a compact T 0 topological space and that the maximal spectrum is a compact Hausdorff topological space. We also define and study the reticulation of a BL-algebra.

The Role of Halaš Identity in Orthomodular Lattices

Ivan Chajda (2014)

Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica

We prove that a certain identity introduced by R. Halaš for classifying basic algebras can be used for characterizing orthomodular lattices in the class of ortholattices with antitone involutions on every principal filter.

The Rothberger property on C p ( Ψ ( 𝒜 ) , 2 )

Daniel Bernal-Santos (2016)

Commentationes Mathematicae Universitatis Carolinae

A space X is said to have the Rothberger property (or simply X is Rothberger) if for every sequence 〈 𝒰 n : n ∈ ω 〉 of open covers of X , there exists U n ∈ 𝒰 n for each n ∈ ω such that X = ⋃ n ∈ ω U n . For any n ∈ ω , necessary and sufficient conditions are obtained for C p ( Ψ ( 𝒜 ) , 2 ) n to have the Rothberger property when 𝒜 is a Mrówka mad family and, assuming CH (the Continuum Hypothesis), we prove the existence of a maximal almost disjoint family 𝒜 for which the space C p ( Ψ ( 𝒜 ) , 2 ) n is Rothberger for all n ∈ ω .

Topological representation for monadic implication algebras

Abad Manuel, Cimadamore Cecilia, Díaz Varela José (2009)

Open Mathematics

In this paper, every monadic implication algebra is represented as a union of a unique family of monadic filters of a suitable monadic Boolean algebra. Inspired by this representation, we introduce the notion of a monadic implication space, we give a topological representation for monadic implication algebras and we prove a dual equivalence between the category of monadic implication algebras and the category of monadic implication spaces.

Traced premonoidal categories

Nick Benton, Martin Hyland (2003)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

Motivated by some examples from functional programming, we propose a generalization of the notion of trace to symmetric premonoidal categories and of Conway operators to Freyd categories. We show that in a Freyd category, these notions are equivalent, generalizing a well-known theorem relating traces and Conway operators in cartesian categories.

Traced Premonoidal Categories

Nick Benton, Martin Hyland (2010)

RAIRO - Theoretical Informatics and Applications

Motivated by some examples from functional programming, we propose a generalization of the notion of trace to symmetric premonoidal categories and of Conway operators to Freyd categories. We show that in a Freyd category, these notions are equivalent, generalizing a well-known theorem relating traces and Conway operators in Cartesian categories.

Two Axiomatizations of Nelson Algebras

Adam Grabowski (2015)

Formalized Mathematics

Nelson algebras were first studied by Rasiowa and Białynicki- Birula [1] under the name N-lattices or quasi-pseudo-Boolean algebras. Later, in investigations by Monteiro and Brignole [3, 4], and [2] the name “Nelson algebras” was adopted - which is now commonly used to show the correspondence with Nelson’s paper [14] on constructive logic with strong negation. By a Nelson algebra we mean an abstract algebra 〈L, T, -, ¬, →, ⇒, ⊔, ⊓〉 where L is the carrier, − is a quasi-complementation (Rasiowa used...

Currently displaying 601 – 620 of 710