On some properties of -maximal sets and -reducibility.
On some properties of squares of Sierpiński sets
We investigate some geometrical properties of squares of special Sierpiński sets. In particular, we prove that (under CH) there exists a Sierpiński set S and a function p: S → S such that the images of the graph of this function under π'(⟨x,y⟩) = x - y and π''(⟨x,y⟩) = x + y are both Lusin sets.
On some properties of submeasures on MV-algebras
On some properties of transformations of a logic
On some properties of -planes of type-2 fuzzy sets
Some basic properties of -planes of type-2 fuzzy sets are investigated and discussed in connection with the similar properties of -cuts of type-1 fuzzy sets. It is known, that standard intersection and standard union of type-1 fuzzy sets (it means intersection and union under minimum t-norm and maximum t-conorm, respectively) are the only cutworthy operations for type-1 fuzzy sets. Recently, a similar property was declared to be true also for -planes of type-2 fuzzy sets in a few papers. Thus,...
On Some Relations in Boolean Algebras
On somewhat fuzzy semicontinuous functions
In this paper the concept of somewhat fuzzy semicontinuous functions, somewhat fuzzy semiopen functions are introduced and studied. Besides giving characterizations of these functions, several interesting properties of these functions are also given. More examples are given to illustrate the concepts introduced in this paper.
On spaces with the ideal convergence property
Let I ⊆ P(ω) be an ideal. We continue our investigation of the class of spaces with the I-ideal convergence property, denoted (I). We show that if I is an analytic, non-countably generated P-ideal then (I) ⊆ s₀. If in addition I is non-pathological and not isomorphic to , then (I) spaces have measure zero. We also present a characterization of the (I) spaces using clopen covers.
On special partial types and weak canonical bases in simple theories
We define the notion of a weak canonical base for a partial type in a simple theory. We prove that members of a certain family of partial types, which we call special partial types, admit a weak canonical base; this family properly contains the family of amalgamation bases.
On special partitions of Dedekind- and Russell-sets
A Russell set is a set which can be written as the union of a countable pairwise disjoint set of pairs no infinite subset of which has a choice function and a Russell cardinal is the cardinal number of a Russell set. We show that if a Russell cardinal has a ternary partition (see Section 1, Definition 2) then the Russell cardinal fails to have such a partition. In fact, we prove that if a ZF-model contains a Russell set, then it contains Russell sets with ternary partitions as well as Russell...
On splitting infinite-fold covers
Let X be a set, κ be a cardinal number and let ℋ be a family of subsets of X which covers each x ∈ X at least κ-fold. What assumptions can ensure that ℋ can be decomposed into κ many disjoint subcovers? We examine this problem under various assumptions on the set X and on the cover ℋ: among other situations, we consider covers of topological spaces by closed sets, interval covers of linearly ordered sets and covers of ℝⁿ by polyhedra and by arbitrary convex sets. We focus on...
On Square-Free Numbers
In the article the formal characterization of square-free numbers is shown; in this manner the paper is the continuation of [19]. Essentially, we prepared some lemmas for convenient work with numbers (including the proof that the sequence of prime reciprocals diverges [1]) according to [18] which were absent in the Mizar Mathematical Library. Some of them were expressed in terms of clusters’ registrations, enabling automatization machinery available in the Mizar system. Our main result of the article...
On squares, outside guessing of clubs and I
On stability and products
On star covering properties related to countable compactness and pseudocompactness
We prove a number of results on star covering properties which may be regarded as either generalizations or specializations of topological properties related to the ones mentioned in the title of the paper. For instance, we give a new, entirely combinatorial proof of the fact that -spaces constructed from infinite almost disjoint families are not star-compact. By going a little further we conclude that if is a star-compact space within a certain class, then is neither first countable nor separable....
On strong measure zero subsets of
We study the generalized Cantor space and the generalized Baire space as analogues of the classical Cantor and Baire spaces. We equip with the topology where a basic neighborhood of a point η is the set ν: (∀j < i)(ν(j) = η(j)), where i < κ. We define the concept of a strong measure zero set of . We prove for successor that the ideal of strong measure zero sets of is -additive, where is the size of the smallest unbounded family in , and that the generalized Borel conjecture...
On strong regularity of relations
There exists a natural extension of the notion of preorder from binary relations onto relations whose arities are arbitrary ordinals. In the article we find a condition under which extended preorders coincide with preorders if viewed categorically.
On subcompactness and countable subcompactness of metrizable spaces in ZF
We show in ZF that: (i) Every subcompact metrizable space is completely metrizable, and every completely metrizable space is countably subcompact. (ii) A metrizable space is countably compact if and only if it is countably subcompact relative to . (iii) For every metrizable space , the following are equivalent: (a) is compact; (b) for every open filter of , ; (c) is subcompact relative to . We also show: (iv) The negation of each of the statements, (a) every countably subcompact metrizable...
On subspaces of measurable real functions.
On subspaces of the Pixley-Roy example