Dense and σ-Porous Subsets in Some Families of Darboux Functions

G. Ivanova and E. Wagner-Bojakowska shown that the set of Darboux quasi-continuous functions with nowhere dense set of discontinuity points is dense in the metric space of Darboux quasi-continuous functions with the supremum metric. We prove that this set also is σ-strongly porous in such space. We obtain the symmetrical result for the family of strong Świątkowski functions, i.e., that the family of strong Świątkowski functions with nowhere dense set of discontinuity points is dense (thus, “large”) and σ-strongly porous (thus, asymmetrically, “small”) in the family of strong Świątkowski functions.

On the sets of fixed points of bounded Baire one functions

In this paper, we present some results on typical properties of the sets of fixed points of bounded Baire one functions. In particular, we show that typical elements of a uniformly closed subclass [Formula: see text] of such class of functions have nowhere dense set of fixed points. We also show that typical elements of the class of bounded Baire one functions have [Formula: see text], where [Formula: see text] is an arbitrary continuous Borel measure on the unit interval.

Ideal and some applications of simply open sets

Recently there has been some interest in the notion of a locally closed subset of a topo- logical space. In this paper, we introduce a useful characterizations of simply open sets in terms of the ideal of nowhere dense set. Also, we study a new notion of functions in topo- logical spaces known as dual simply-continuous functions and some of their fundamental properties are investigated. Finally, a new type of simply open sets is introduced.

Degrees of recursively enumerable topological spaces

In [5], Metakides and Nerode introduced the study of recursively enumerable (r.e.) substructures of a recursively presented structure. The main line of study presented in [5] is to examine the effective content of certain algebraic structures. In [6], Metakides and Nerode studied the lattice of r.e. subspaces of a recursively presented vector space. This lattice was later studied by Kalantari, Remmel, Retzlaff and Shore. Similar studies have been done by Metakides and Nerode [7] for algebraically closed fields, by Remmel [10] for Boolean algebras and by Metakides and Remmel [8] and [9] for orderings. Kalantari and Retzlaff [4] introduced and studied the lattice of r.e. subsets of a recursively presented topological space. Kalantari and Retzlaff consideredX, a topological space with ⊿, a countable basis. This basis is coded into integers and with the help of this coding, r.e. subsets ofωgive rise to r.e. subsets ofX. The notion of “recursiveness” of a topological space is the natural next step which gives rise to the question of what should be the “degree” of an r.e. open subset ofX? It turns out that any r.e. open set partitions ⊿; into four sets whose Turing degrees become central in answering the question raised above.In this paper we show that the degrees of the elements of the partition of ⊿ imposed by an r.e. open set can be “controlled independently” in a sense to be made precise in the body of the paper. In [4], Kalantari and Retzlaff showed that givenAany r.e. set andany r.e. open subset ofX, there exists an r.e. open set ℋ which is a subset ofand is dense in(in a topological sense) and in whichAis coded. This shows that modulo a nowhere dense set, an r.e. open set can become as complicated as desired. After giving the general technical and notational machinery in §1, and giving the particulars of our needs in §2, in §3 we prove that the set ℋ described above could be made to be precisely of degree ofA. We then go on and establish various results (both existential and universal) on the mentioned partitioning of ⊿. One of the surprising results is that there are r.e. open sets such that every element of partitioning of ⊿ is of a different degree. Since the exact wording of the results uses the technical definitions of these partitioning elements, we do not summarize the results here and ask the reader to examine §3 after browsing through §§1 and 2.