Related papers: D-forced spaces: a new approach to resolvability
This article describes a Turing machine which can solve for $\beta^{'}$ which is RE-complete. RE-complete problems are proven to be undecidable by Turing's accepted proof on the Entscheidungsproblem. Thus, constructing a machine which…
In the absence of the Axiom of Choice, necessary and sufficient conditions for a locally compact Hausdorff space to have all non-empty second-countable compact Hausdorff spaces as remainders are given in $\mathbf{ZF}$. Among other…
For a Tychonoff space $X$ and a family $\lambda$ of subsets of $X$, we denote by $C_{\lambda}(X)$ the $T_1$-space of all real-valued continuous functions on $X$ with the $\lambda$ -open topology. A topological space is productively…
In 2003, Atserias and Dalmau resolved a major open question about the resolution proof system by establishing that the space complexity of CNF formulas is always an upper bound on the width needed to refute them. Their proof is beautiful…
The space of functions A over the phase space of KdV-hierarchy is studied as a module over the ring D generated by commuting derivations. A D-free resolution of A is constructed by Babelon, Bernard and Smirnov by taking the classical limit…
Answering a question of Ketonen from the late 1970's, it is proved that a weakly compact cardinal carrying an indecomposable ultrafilter need not be measurable. The result is obtained by analyzing the limit of a decreasing sequence of…
The property of countable metacompactness of a topological space gets its importance from Dowker's 1951 theorem that the product of a normal space X with the unit interval is again normal iff X is countably metacompact. In a recent paper,…
Graphons are analytic objects associated with convergent sequences of graphs. Problems from extremal combinatorics and theoretical computer science led to a study of graphons determined by finitely many subgraph densities, which are…
We analyze the effective content of countable, second countable topological spaces by directly calculating the complexity of several topologically defined index sets. We focus on the separation principles, calibrating an arithmetic…
We present new solutions of warped compactifications in the higher-dimensional gravity coupled to the scalar and the form field strengths. These solutions are constructed in the D-dimensional spacetime with matter fields, with the internal…
As defined in [1], a Hausdorff space is strongly anti-Urysohn (in short: SAU) if it has at least two non-isolated points and any two infinite} closed subsets of it intersect. Our main result answers the two main questions of [1] by…
Using an iterative tree construction we show that for simple computable subsets of the Cantor space Hausdorff, constructive and computable dimensions might be incomputable.
In this paper a construction of a metrizable zero-dimensional CDH space $X$ such that $X^2$ has exactly $\mathfrak{c}$ countable dense subsets is provided. Furthermore, it is shown that the space can be constructed consistently co-analytic.…
We give a combinatorial characterization of countable submaximal subspaces of $2^\kappa$. Using a parametrized version of Mathias forcing, we prove that there exists a countable submaximal subspace of $2^{\omega_1}$ whilst…
In this paper, we firstly discuss the question: Is $l_{2}^{\infty}$ homeomorphic to a rectifiable space or a paratopological group? And then, we mainly discuss locally compact rectifiable spaces, and show that a locally compact and…
This article is a fundamental study in computable analysis. In the framework of Type-2 effectivity, TTE, we investigate computability aspects on finite and infinite products of effective topological spaces. For obtaining uniform results we…
In 1991 Gott presented a solution of Einstein's field equations in 2+1 dimensions with $\Lambda = 0$ that contained closed timelike curves (CTC's). This solution was remarkable because at first it did not seem to be unphysical in any other…
In the absence of the axiom of choice, new results concerning sequential, Fr\'echet-Urysohn, $k$-spaces, very $k$-spaces, Loeb and Cantor completely metrizable spaces are shown. New choice principles are introduced. Among many other…
Prompted by a recent question of G. Hjorth as to whether a bounded Urysohn space is indivisible, that is to say has the property that any partition into finitely many pieces has one piece which contains an isometric copy of the space, we…
A separable space is strongly sequentially separable if, for each countable dense set, every point in the space is a limit of a sequence from the dense set. We consider this and related properties, for the spaces of continous and Borel…