Related papers: Resolvability in c.c.c. generic extensions
As is well known, constant mean curvature (CMC) spacelike hypersurfaces play an important role in solving the Einstein equations, both in solving the contraints and the evolution equations. In this paper we review the CMC existence result…
A discrete subset $S$ of a topological group $G$ is called a {\it suitable set} for $G$ if $S\cup \{e\}$ is closed in $G$ and the subgroup generated by $S$ is dense in $G$, where $e$ is the identity element of $G$. In this paper, the…
Let $C$ be a compact convex subset of $\mathbb{R}^n$, $f:C\to\mathbb{R}$ be a convex function, and $m\in\{1, 2, ..., \infty\}$. Assume that, along with $f$, we are given a family of polynomials satisfying Whitney's extension condition for…
A topological space $X$ is called strongly $\sigma$-metrizable if $X=\bigcup_{n\in\omega}X_n$ for an increasing sequence $(X_n)_{n\in\omega}$ of closed metrizable subspaces such that every convergence sequence in $X$ is contained in some…
Let us denote by $\Phi(\lambda,\mu)$ the statement that $\mathbb{B}(\lambda) = D(\lambda)^\omega$, i.e. the Baire space of weight $\lambda$, has a coloring with $\mu$ colors such that every homeomorphic copy of the Cantor set $\mathbb{C}$…
Given an irreducible non-spherical non-affine (possibly non-proper) building $X$, we give sufficient conditions for a group $G < \Aut(X)$ to admit an infinite-dimensional space of non-trivial quasi-morphisms. The result applies to all…
The algebraic dichotomy conjecture for Constraint Satisfaction Problems (CSPs) of reducts of (infinite) finitely bounded homogeneous structures states that such CSPs are polynomial-time tractable when the model-complete core of the template…
This paper investigates the relationship between the solvability of first-order differential equations and the topology of the underlying domain through the lens of de\,Rham cohomology. We analyze the conditions under which a closed 1-form…
In this paper the weak topology on a normed space is studied from the viewpoint of infinite-dimensional topology. Besides the weak topology on a normed space $X$ (coinciding with the topology of uniform convergence on finite subsets of the…
In applications it is useful to know whether a topological preordered space is normally preordered. It is proved that every $k_\omega$-space equipped with a closed preorder is a normally preordered space. Furthermore, it is proved that…
In the first part of this article, we complete the program announced in the preliminary note [8] by proving a conjecture presented in [9] that states the equivalence of contractibility and p_{1}-stability for generalized spaces of formal…
A new criterion for inextendibility of expanding cosmological models with symmetry is presented. It is applied to derive a number of new results and to simplify the proofs of existing ones. In particular it shows that the solutions of the…
We consider the problem of constructing a weakly-continuous mapping extending continuous mapping defined on a dense set of a topological space to the entire space. Theorem on necessary and sufficient conditions for the existence of such an…
Assume that $f$ is a $C^r(r\geq 3)$ specially partially hyperbolic endomorphism on the 2-torus which is homotopic to an expanding linear endomorphism $A$ with irrational eigenvalues. We prove that $f$ and $A$ are topologically conjugate, if…
We study notions of generic and coarse computability in the context of computable structure theory. Our notions are stratified by the $\Sigma_\beta$ hierarchy. We focus on linear orderings. We show that at the $\Sigma_1$ level all linear…
A topological gyrogroup is a gyrogroup endowed with a topology such that the binary operation is jointly continuous and the inverse mapping is also continuous. It is shown that each compact subset of a topological gyrogroup with an…
We consider here a spherically symmetric but inhomogeneous universe filled with a massless scalar field. The model obeys two constraints. The first one is that the gradient of the scalar field is timelike everywhere. The second constraint…
A family of locally equivalent models is considered. They can be taken as a generalization to $d+1$ dimensions of the Topological Massive and ``Self-dual'' models in 2+1 dimensions. The corresponding 3+1 models are analized in detail. It is…
We produce a class of $\omega$-categorical structures with finite signature by applying a model-theoretic construction -- a refinement of the Hrushosvki-encoding -- to $\omega$-categorical structures in a possibly infinite signature. We…
In this paper we prove generic results concerning Hardy spaces in one or several complex variables. More precisely, we show that the generic function in certain Hardy type spaces is totally unbounded and hence non-extentable, despite the…