相关论文: On the completeness of the space $\mathcal{O}_C$

We study the complexity of isomorphism of classes of metric structures using methods from infinitary continuous logic. For Borel classes of locally compact structures, we prove that if the equivalence relation of isomorphism is potentially…

According to a folklore characterization of supercompact spaces, a compact Hausdorff space is supercompact if and only if it has a binary closed $k$-network. This characterization suggests to call a topological space $super$ if it has a…

We investigate the local regularity of pointed spacetimes, that is, time-oriented Lorentzian manifolds in which a point and a future-oriented, unit timelike vector (an observer) are selected. Our main result covers the class of Einstein…

In this paper, we focus on the moduli space of Seiberg-Witten equation on non-compact manifold with periodic end. Suppose that the scalar curvature on the periodic end is identically zero and the topological conditions: the first de-Rham…

A Banach space is said to be Grothendieck if weak and weak$^*$ convergent sequences in the dual space coincide. This notion has been quantificated by H. Bendov\'{a}. She has proved that $\ell_\infty$ has the quantitative Grothendieck…

In this survey, my aim has been to discuss the use of sequences and countable sets in general topology. In this way I have been led to consider five different classes of topological spaces: first countable spaces, sequential spaces, Frechet…

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

Given a compact metric graph $\Gamma$ and the Laplacian $\Delta_{\Gamma}$ coupled with standard (Kirchhoff) vertex conditions, solutions to fractional elliptic partial differential equations of the form $(\kappa^2 -…

We construct a normal countably tight $T_1$ space $X$ with $t(X_\delta) >2^\omega$. This is an answer to the question posed by Dow-Juh\'asz-Soukup-Szentmikl\'ossy-Weiss. We also show that if the continuum is not so large, then the tightness…

We use weighted polynomial approximation to prove the existence of a compact set K with non-empty interior and a function f is dense in the space A(K) of all continuous functions on K that are holomorphic in the interior of K, endowed with…

Let $\Omega$ be a compact and mean-convex domain with smooth boundary $\Sigma:=\partial\Omega$, in an initial data set $(M^3,g,K)$, which has no apparent horizon in its interior. If $\Sigma$ is spacelike in a spacetime $(\E^4,g\_\E)$ with…

Erd\H{o}s space $\mathfrak{E}$ and complete Erd\H{o}s space $\mathfrak{E}_c$ have been previously shown to have topological characterizations. In this paper, we provide a topological characterization of the topological space…

We study harmonic and quasi-harmonic discs in metric spaces admitting a uniformly local quadratic isoperimetric inequality for curves. The class of such metric spaces includes compact Lipschitz manifolds, metric spaces with upper or lower…

This paper shows that for K a local field, k a subfield of K and X a variety over k, X is complete if and only if for every finite field extension K' of K, X(K') is compact in its strong topology.

Geodesic completeness is typically regarded as a basic criterion to determine whether a given spacetime is regular or singular. However, the principle of general covariance does not privilege any family of observers over the others and,…

We quantize spherically symmetric electrovacuum gravity. The algebra of Hamiltonian constraints can be made Abelian via a rescaling and linear combination with the diffeomorphism constraint. As a result the constraint algebra is a true Lie…

we prove that if $X$ is a locally compact $\sigma$-compact space then on its quotient, $\gamma(X)$ say, determined by the algebra of all real valued bounded continuous functions on $X$, the quotient topology and the completely regular…

The aim of the paper is to introduce the spaces $\ell_{\infty}^{\lambda}(\widehat{F})$ and $\ell_{p}^{\lambda}(\widehat{F})$ derived by the composition of the two infinite matrices $\Lambda=(\lambda_{nk})$ and $\widehat{F}=\left( f_{nk}…

This note provides a correct proof of the result claimed by the second author that locally compact normal spaces are collectionwise Hausdorff in certain models obtained by forcing with a coherent Souslin tree. A novel feature of the proof…

We establish cartesian model structures for variants of $\Theta_n$-spaces in which we replace some or all of the completeness conditions by discreteness conditions. We prove that they are all equivalent to each other and to the…