Related papers: Further observations on bornological covering prop…
We show that assuming lower bounds on the Ricci curvature and the injectivity radius the absolute value of certain characteristic numbers of a Riemannian manifold, including all Pontryagin and Chern numbers, is bounded proportionally to the…
A method how to construct Boolean-valued models of some fragments of arithmetic was developed in Krajicek (2011), with the intended applications in bounded arithmetic and proof complexity. Such a model is formed by a family of random…
We prove a new selection theorem for multivalued mappings of C-space. Using this theorem we prove extension dimensional version of Hurewicz theorem for a closed mapping $f\colon X\to Y$ of $k$-space $X$ onto paracompact $C$-space $Y$: if…
In this paper, we investigate various cardinal properties of the space $Q_{C}X$ of all real-valued quasicontinuous functions on the topological space $X$, under the topology of uniform convergence on compact subsets. It begins by examining…
A concept of quasi-metrizability with respect to a bornology of a generalized topological space in the sense of Delfs and Knebusch is introduced. Quasi-metrization theorems for generalized bornological universes are deduced. A uniform…
A space $X$ is said to have the set star Hurewicz property if for each nonempty subset $A$ of $X$ and each sequence $(\mathcal{U}_n: n \in \mathbb{N})$ of sets open in $X$ such that for each $n\in \mathbb N$, $\overline{A} \subset \cup…
In this paper we consider some recent relative versions of Menger property called set strongly star Menger and set star Menger properties and the corresponding Hurewicz-type properties. In particular, using \cite {BMae}, we "easily" prove…
In this article we use techniques developed by Hrushovski-Loeser to study certain metric properties of the Berkovich analytification of a finite morphism of smooth connected projective curves. In recent work, M. Temkin proved a radiality…
Hu's metrization theorem for bornological universes is shown to hold in ZF and it is adapted to a quasi-metrization theorem for bornologies in bitopological spaces. The problem of uniform quasi-metrization of quasi-metric bornological…
Let $G$ be a countable group. We study left-invariant metrics on $G$ that are not necessarily proper, introducing the notion of a \emph{bornological metric}: a metric $\rho$ such that for every $C>0$ there exists $S_C>0$ with the property…
Given a Tychonoff space $X$, let $F(X)$ and $A(X)$ be respectively the free topological group and the free Abelian topological group over $X$ in the sense of Markov. In this paper, we consider two topological properties of $F(X)$ or $A(X)$,…
In this paper we introduce the notion of Hurewicz fibrations in the class of embedding maps of orbifold charts by giving the concept of E-fibration embedding. We study the fundamental properties of this concept such as the restriction,…
In this paper, we provide a unifying theory concerning the convergence properties of the so-called max-product Kantorovich sampling operators based upon generalized kernels in the setting of Orlicz spaces. The approximation of functions…
The bornological convergence structures that have been studied recently as generalizations of Attouch-Wets convergence define pretopologies on hyperspaces. In this paper we characterize the topological reflections of these pretopologies and…
We explore the connections between selection games on Hausdorff spaces and their corresponding Vietoris space of compact subsets. These considerations offer a similar relationship as the well-known relationship between $\omega$-covers of…
We investigate several aspects of the Bialynicki-Birula decomposition of a smooth complete $\mathbb{G}_m$-variety with finite fixed locus. Our results include novel characterizations of when the Bialynicki-Birula decomposition is filterable…
Following the concept of topological theory of S.~E.~Rodabaugh, this paper introduces a new approach to (lattice-valued) bornology, which is based in bornological theories, and which is called variety-based bornology. In particular,…
We prove the Hurewicz theorem in homotopy type theory, i.e., that for $X$ a pointed, $(n-1)$-connected type $(n \geq 1)$ and $A$ an abelian group, there is a natural isomorphism $\pi_n(X)^{ab} \otimes A \cong \tilde{H}_n(X; A)$ relating the…
The Grothendieck property has become important in research on the definability of pathological Banach spaces [CI], [HT], and especially [HT20]. We here answer a question of Arhangel'ski\u{\i} by proving it undecidable whether countably…
For a finite dimensional vector space V of dimension n, we consider the incidence correspondence (or partial flag variety) X in P(V) x P(V*), parametrizing pairs consisting of a point and a hyperplane containing it. We completely…