Related papers: D-forced spaces: a new approach to resolvability
Relative to class many supercompact cardinals, we construct a model of $\ZFC+\GCH$ where for every singular cardinal $\delta$ of countable cofinality and every regular uncountable $\mu<\delta$ there are stationarily many non-approachable…
A space $X$ is called selectively separable(R-separable) if for every sequence of dense subspaces $(D_n : n\in\omega)$ one can pick finite (respectively, one-point) subsets $F_n\subset D_n$ such that $\bigcup_{n\in\omega}F_n$ is dense in…
The self-force problem---which asks how self-interaction affects a body's motion---has been poorly studied for spacetime dimensions $d \neq 4$. We remedy this for all $d \geq 3$ by nonperturbatively constructing momenta such that forces and…
In a recent paper [I.P. Neupane and D.L. Wiltshire, Phys. Lett. B 619, 201 (2005).] we have found a new class of accelerating cosmologies arising from a time--dependent compactification of classical supergravity on product spaces that…
In this paper we study the properties of P-generated spaces (by analogy with compactly generated). We prove that a regular Lindel\"of generated space with uncountable dispersion character is resolvable. It is proved that Hausdorff…
We say that a set is exhaustible if it admits algorithmic universal quantification for continuous predicates in finite time, and searchable if there is an algorithm that, given any continuous predicate, either selects an element for which…
We try to build, provably in ZFC, for a first order T a model in which any isomorphism between two Boolean algebras is definable. The problem, compared to [Sh:384], is with pseudo-finite Boolean algebras. A side benefit is that we do not…
The Kantorovich-Rubinshtein metric is an $L^1$-like metric on spaces of probability distributions that enjoys several serendipitous properties. It is complete separable if the underlying metric space of points is complete separable, and in…
A quantum sl(2,R) coalgebra is shown to underly the construction of a large class of superintegrable potentials on 3D curved spaces, that include the non-constant curvature analogues of the spherical, hyperbolic and (anti-)de Sitter spaces.…
Cantor's diagonal method is traditionally used to prove the uncountability of the set of all infinite binary sequences. This paper analyzes the expressive limits of this method. It is shown that under any constructive application --…
We consider the decidability of state-to-state reachability in linear time-invariant control systems over continuous time. We analyse this problem with respect to the allowable control sets, which are assumed to be the image under a linear…
We consider a countably generated and uniformly closed algebra of bounded functions. We assume that there is a lower semicontinuous, with respect to the supremum norm, quadratic form and that normal contractions operate in a certain sense.…
We consider semilinear elliptic problems of the form \[ -\Delta u + \lambda u = f(x,u), \quad u\in H^1_0(A), \] where $A\subset\mathbb{R}^N$, $N\geq3$, is either a bounded or unbounded annulus, and $\lambda \geq0$. We study a broad class of…
A family of classical superintegrable Hamiltonians, depending on an arbitrary radial function, which are defined on the 3D spherical, Euclidean and hyperbolic spaces as well as on the (2+1)D anti-de Sitter, Minkowskian and de Sitter…
Flat Space Cosmologies (FSC) are time-dependent solutions in Einstein gravity in three-dimensional (3D) spacetimes with zero cosmological constant. These are orbifolds of 3D flat space that have a cosmological horizon and can be thought of…
The study deals with the theory of interior capacities of condensers in a locally compact space, a condenser being treated here as a countable, locally finite collection of arbitrary sets with the sign +1 or -1 prescribed such that the…
Countable tightness may be destroyed by countably closed forcing. We characterize the indestructibility of countable tightness under countably closed forcing by combinatorial statements similar to the ones Tall used to characterize…
A space is functionally countable if every real-valued continuous function has countable image. A stronger property recently defined by Tkachuk is exponentially separability. We start by studying these properties in GO spaces, where we…
We consider Calderon -- Zygmund singular integral in the discrete half-space $h{\bf Z}^m_{+}$, where ${\bf Z}^m$ is entire lattice ($h>0$) in ${\bf R}^m$, and prove that the discrete singular integral operator is invertible in $L_2(h{\bf…
In 1988, Sibe Marde\v{s}i\'{c} and Andrei Prasolov isolated an inverse system $\mathbf{A}$ with the property that the additivity of strong homology on any class of spaces which includes the closed subsets of Euclidean space would entail…