Related papers: How to force a countably tight, initially {\omega}…

Let $k$ be a perfect complete valued field with a nontrivial non-archimedean norm $|\cdot|$ and $\omega\in k$ with $0<|\omega|<1.$ Let $X$ be a reduced and normal $k$-analytic space. Then $O^{\circ}\simeq…

We revisit the definition of effective local compactness, and propose an approach that works for arbitrary countably-based spaces extending the previous work on computable metric spaces. We use this to show that effective local compactness…

With a simple generic approach, we develop a classification that encodes and measures the strength of completeness (or compactness) properties in various types of spaces and ordered structures. The approach also allows us to encode notions…

Strongly convex sets in Hilbert spaces are characterized by local properties. One quantity which is used for this purpose is a generalization of the modulus of convexity \delta_\Omega of a set \Omega. We also show that \lim_{\epsilon \to 0}…

In this paper, we investigate connections between structures present in every generic extension of the universe $V$ and computability theory. We introduce the notion of {\em generic Muchnik reducibility} that can be used to to compare the…

This article is devoted to characterize all possible effective behaviors of composite materials by means of periodic homogenization. This is known as a $G$-closure problem. Under convexity and $p$-growth conditions ($p>1$), it is proved…

In a paper published in 2020 in Studia Mathematica, Abrahamsen et al. proved that in the real space $L_1(\mu)$, where $\mu$ is a non-zero $\sigma$-finite (countably additive non-negative) measure, norm-one elements in finite convex…

We construct a complete locally convex topological vector space $X$ of countable algebraic dimension and a continuous linear operator $T:X\to X$ such that $T$ has no non-trivial closed invariant subspaces.

Consider a random initial vorticity $\omega_0(x) = \sum_{n\in \mathbb{Z}^2} a_n \phi(x-n)$, where $\phi$ is bounded and compactly supported and $\{a_n\}$ are independent, uniformly bounded, mean $0$, variance $1$ random variables (i.e.…

Let $\mathcal{F} $ be a pointwise almost periodic decomposition of a compact metrizable space $X$. Then $\mathcal{F} $ is $R$-closed if and only if $\hat{\mathcal{F}} $ is usc. Moreover, if there is a finite index normal subgroup $H$ of an…

We characterize $\kappa$-Fr\'{e}chet--Urysohn topological groups. Using this characterization we show that: (1) a hemicompact topological group is $\kappa$-Fr\'{e}chet--Urysohn iff it is locally compact, and (2) if $F$ is a closed…

We say that a topological space X is selectively sequentially pseudocompact (SSP for short) if for every sequence (U_n) of non-empty open subsets of X, one can choose a point x_n in U_n for every n in such a way that the sequence (x_n) has…

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…

Let $\Omega\subset\mathbb{R}^{n+1}$, $n\ge 2$, be a 1-sided non-tangentially accessible domain (aka uniform domain), that is, $\Omega$ satisfies the interior Corkscrew and Harnack chain conditions, which are respectively…

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.…

In the presence of suitable power spaces, compactness of $\mathbf{X}$ can be characterized as the singleton $\{X\}$ being open in the space $\mathcal{O}(\mathbf{X})$ of open subsets of $\mathbf{X}$. Equivalently, this means that universal…

Topology may be interpreted as the study of verifiability, where opens correspond to semi-decidable properties. In this paper we make a distinction between verifiable properties themselves and processes which carry out the verification…

Assuming that there is no inner model with a strong cardinal, the following is shown: any subset of \omega_1 can be made \Delta^1_3 (in the codes) by a reasonable set-forcing; there is a reasonable set-generic extension with a \Delta^1_3…

Let (\Omega,\mu) be a finite measure space, X a Banach space, and let 1\le p<\infty. The aim of this paper is to give an elementary proof of the Diaz--Mayoral theorem that a subset V of L^p(\mu;X) is relatively compact if and only if it is…

This paper is concerned with equilibrium configurations of one-dimensional particle system with non-convex nearest-neighbour and next-to-nearest-neighbour interactions and its passage to the continuum. The goal is to derive compactness…