Related papers: The strength of compactness for countable complete…
An important, if relatively less well known aspect of the singularity theorems in Lorentzian Geometry is to understand how their conclusions fare upon weakening or suppression of one or more of their hypotheses. Then, theorems with modified…
It is well-known that every transitive linear order is exponentiable. However, is the converse true? This question was posed in Chapter 8 of the textbook titled "Linear Orderings" by Rosenstein. We define the class CTLO of cyclically…
Answering a question raised by V. V. Tkachuk, we present several examples of $\sigma$-compact spaces, some only consistent and some in ZFC, that are not countably tight but in which the closure of any discrete subset is countably tight. In…
We prove that a countably compact space is monotonically retractable if and only if it has a full retractional skeleton. In particular, a compact space is monotonically retractable if and only if it is Corson. This gives an answer to a…
We prove that the countable product of supercomplete spaces having a countable closed cover consisting of partition-complete subspaces is supercomplete with respect to its metric-fine coreflection. Thus, countable products of…
We investigate connections between resolvability and different forms of tightness. This study is adjacent to [1,2]. We construct a non-regular refinement $\tau^*$ of the natural topology of the real line $\mathbb{R}$ with properties such…
We show that the sequential closure of a family of probability measures on the canonical space of c{\`a}dl{\`a}g paths satisfying Stricker's uniform tightness condition is a weak${}^*$ compact set of semimartingale measures in the pairing…
We use forcing over admissible sets to show that, for every ordinal $\alpha$ in a club $C\subset\omega_1$, there are copies of $\alpha$ such that the isomorphism between them is not computable in the join of the complete $\Pi^1_1$ set…
We examine rigidity phenomena for representations of amenable operator algebras which have an ideal of compact operators. We establish that a generalized version of Kadison's conjecture on completely bounded homomorphisms holds for the…
We study properties of complete separable metric spaces within the framework of subsystems of second order arithmetic. In particular we consider Lebesgue and Atsuji spaces. The former are those such that every open covering U has a Lebesgue…
For an ordinal $\lambda>0$, we use the Erd\H{o}s--Rado partition theorem to prove the failure of strong completeness of $\mathsf{GL}$ for modal languages of cardinality $(2^{|\lambda|+\aleph_0})^{+}$ with respect to models on ordinals…
A compactness of the Revuz map is established in the sense that the locally uniform convergence of a sequence of positive continuous additive functionals is derived in terms of their smooth measures. To this end, we first introduce a metric…
Some new classes of compacta $K$ are considered for which $C(K)$ endowed with the pointwise topology has a countable cover by sets of small local norm--diameter.
We show that all finite powers of a Hausdorff space X do not contain uncountable weakly separated subspaces iff there is a c.c.c poset P such that 1_P forces that ``X is a countable union of 0-dimensional subspaces of countable weight.'' We…
This paper uses the framework of reverse mathematics to investigate the strength of two recurrence theorems of topological dynamics. It establishes that one of these theorems, the existence of an almost periodic point, lies strictly between…
We initiate a study of topological orthoalgebras (TOAs), concentrating on the compact case. Examples of TOAs include topological orthomodular lattices, and also the projection lattice of a Hilbert space. As the latter example illustrates, a…
We use topological consequences of PFA, MA$_{\omega_1}$(S)[S] and PFA(S)[S] proved by other authors to show that normal first countable linearly H-closed spaces with various additionals properties are compact in these models.
It is shown that for any Baire space $X$, linearly ordered compact $Y$ and separately continuous mapping $f:X\times Y\to\mathbb R$ there exists a dense in $X$ $G_\delta$-set $A\subseteq X$ such that $f$ is jointly continuous at every point…
We recast the tools of ``global causal analysis'' in accord with an approach to the subject animated by two distinctive features: a thoroughgoing reliance on order-theoretic concepts, and a utilization of the Vietoris topology for the space…
We study the closure $\bar{CSO}$ of the set $CSO$ of all complex symmetric operators on a separable, infinite-dimensional, complex Hilbert space. Among other things, we prove that every compact operator in $\bar{CSO}$ is complex symmetric.…