Displaying 361 – 380 of 729

Showing per page

On powers of Lindelöf spaces

Isaac Gorelic (1994)

Commentationes Mathematicae Universitatis Carolinae

We present a forcing construction of a Hausdorff zero-dimensional Lindelöf space X whose square X 2 is again Lindelöf but its cube X 3 has a closed discrete subspace of size 𝔠 + , hence the Lindelöf degree L ( X 3 ) = 𝔠 + . In our model the Continuum Hypothesis holds true. After that we give a description of a forcing notion to get a space X such that L ( X n ) = 0 for all positive integers n , but L ( X 0 ) = 𝔠 + = 2 .

On problems of databases over a fixed infinite universe

Oleg Belegradek, Alexei Stolboushkin, Michael Taitslin (1999)

Banach Center Publications

In the relational model of databases a database state is thought of as a finite collection of relations between elements. For many applications it is convenient to pre-fix an infinite domain where the finite relations are going to be defined. Often, we also fix a set of domain functions and/or relations. These functions/relations are infinite by their nature. Some special problems arise if we use such an approach. In the paper we discuss some of the problems. We show that there exists a recursive...

On projectional skeletons in Vašák spaces

Ondřej F. K. Kalenda (2017)

Commentationes Mathematicae Universitatis Carolinae

We provide an alternative proof of the theorem saying that any Vašák (or, weakly countably determined) Banach space admits a full 1 -projectional skeleton. The proof is done with the use of the method of elementary submodels and is comparably simple as the proof given by W. Kubiś (2009) in case of weakly compactly generated spaces.

On pseudo BE-algebras

Rajab Ali Borzooei, Arsham Borumand Saeid, Akbar Rezaei, Akefe Radfar, Reza Ameri (2013)

Discussiones Mathematicae - General Algebra and Applications

In this paper, we introduce the notion of pseudo BE-algebra which is a generalization of BE-algebra. We define the concepts of pseudo subalgebras and pseudo filters and prove that, under some conditions, pseudo subalgebra can be a pseudo filter. We prove that every homomorphic image and pre-image of a pseudo filter is also a pseudo filter. Furthermore, the notion of pseudo upper sets in pseudo BE-algebras introduced and is proved that every pseudo filter is an union of pseudo upper sets.

On pseudo-BCI-algebras

Grzegorz Dymek (2015)

Annales UMCS, Mathematica

The notion of normal pseudo-BCI-algebras is studied and some characterizations of it are given. Extensions of pseudo-BCI-algebras are also considered.

On pseudocompactness and related notions in ZF

Kyriakos Keremedis (2018)

Commentationes Mathematicae Universitatis Carolinae

We study in ZF and in the class of T 1 spaces the web of implications/ non-implications between the notions of pseudocompactness, light compactness, countable compactness and some of their ZFC equivalents.

Currently displaying 361 – 380 of 729