Related papers: D-forced spaces: a new approach to resolvability

A space is called linearly H-closed iff any chain cover possesses a dense member. This property lies strictly between feeble compactness and H-closedness. While regular H-closed spaces are compact, there are linearly H-closed spaces which…

We first introduce and study two new classes of subsets in $T_0$ spaces - $\omega$-Rudin sets and $\omega$-well-filtered determined sets lying between the class of all closures of countable directed subsets and that of irreducible closed…

This article continues the study of computable elementary topology started by the author and T. Grubba in 2009 and extends the author's 2010 study of axioms of computable separation. Several computable T3- and Tychonoff separation axioms…

A non-empty subset of a topological space is irreducible if whenever it is covered by the union of two closed sets, then already it is covered by one of them. Irreducible sets occur in proliferation: (1) every singleton set is irreducible,…

The characterization of a six- (or seven)-dimensional internal manifold with metric as having positive, zero or negative curvature is expected to be an important aspect of warped compactifications in supergravity. In this context, Douglas…

We mainly discuss the cardinal invariants and generalized metric properties on paratopological groups or rectifiable spaces, and show that: (1) If $A$ and $B$ are $\omega$-narrow subsets of a paratopological group $G$, then $AB$ is…

A ZFC Dowker space is constructed which has cardinality $\aleph_{\omega+1}$. This provides a bound in ZFC to the first cardinal in which there is a ZFC Dowker space. The space we construct is a closed and cofinal subspace of M.~E.~Rudin's…

A topological space $X$ is said to be {\em $Y$-rigid} if any continuous map $f:X\rightarrow Y$ is constant. In this paper we construct a number of examples of regular countably compact $\mathbb R$-rigid spaces with additional properties…

The primary goal of this paper is to establish a model of $ZFC$ wherein the definable tree property is affirmed for all uncountable regular cardinals. This endeavor commences with the utilization of both a supercompact cardinal and a…

We consider the space of real-valued continuously differentiable functions on a compact subset of a euclidean space. We characterize the completeness of this space and prove that the space of restrictions of continuously differentiable…

In this paper, we highlight some open problems stated by Xu and Zhao. In particular, we focus on strong $d$-spaces and answer two open problems concerning strong $d$-spaces. One is about the product space of an arbitrary family of strong…

In quasi-exactly solvable problems partial analytic solution (energy spectrum and associated wavefunctions) are obtained if some potential parameters are assigned specific values. We introduce a new class in which exact solutions are…

Using a modification of the invariant Jensen forcing, we define a model of ZFC, in which, for a given $n\ge3$, there exists a lightface $\varPi^1_n$ set of reals, which is a ${\mathsf E}_0$ equivalence class, hence a countable set, and…

We prove that a function $f:X\to Y$ from a first-countable (more generally, Preiss-Simon) space $X$ to a regular space $Y$ is weakly discontinuous (which means that every subspace $A\subset X$ contains an open dense subset $U\subset A$ such…

A new criterion for inextendibility of expanding cosmological models with symmetry is presented. It is applied to derive a number of new results and to simplify the proofs of existing ones. In particular it shows that the solutions of the…

We prove that: I. For every regular Lindel\"of space $X$ if $|X|=\Delta(X)$ and $\mathrm{cf}|X|\ne\omega$, then $X$ is maximally resolvable; II. For every regular countably compact space $X$ if $|X|=\Delta(X)$ and $\mathrm{cf}|X|=\omega$,…

Let \omega be a Pfaff system of differential forms on a projective space. Let S be its singular locus, and Y a solution of \omega=0. We prove Y\cap S is of codimension at most 1 in Y, just as Jouanolou suspected; he proved this result…

A cardinal lambda is called omega-inaccessible if for all mu < lambda we have mu^omega<lambda. We show that for every omega-inaccessible cardinal lambda there is a CCC (hence cardinality and cofinality preserving) forcing that adds a…

For linear ill-posed problems with nontrivial null spaces, Tikhonov regularization and truncated singular value decomposition (TSVD) typically yield solutions that are close to the minimum norm solution. Such a bias is not always desirable,…

We show that there are CNF formulas which can be refuted in resolution in both small space and small width, but for which any small-width proof must have space exceeding by far the linear worst-case upper bound. This significantly…