Related papers: Completeness of Cauchy horizon generators
This paper introduces robust differential dynamic logic (a fragment of differential dynamic logic) to specify and reason about robust hybrid systems. Practically meaningful syntactic restrictions naturally ensure that definable properties…
The principle of horizon complementarity is an attempt to extend ideas about black hole complementarity to all horizons, including cosmological ones. The idea is that the degrees of freedom necessary to describe the interior of the cosmic…
For every regular cardinal kappa there exists a simple complete Boolean algebra with kappa generators.
A topological group $G$ is {\em sequentially $h$-complete} if all the continuous homomorphic images of $G$ are sequentially complete. In this paper we give necessary and sufficient conditions on a complete group for being compact, using the…
Wright showed that, if a 1-ended simply connected locally compact ANR Y with pro-monomorphic fundamental group at infinity admits a proper Z-action, then that fundamental group at infinity can be represented by an inverse sequence of…
The uniqueness theorem for static charged higher dimensional black hole containing an asymptotically flat spacelike hypersurface with compact interior and with both degenerate and non-degenerate components of event horizon is proposed. By…
We prove, for various important classes of Mealy automata, that almost all generated groups have an element of infinite order. In certain cases, it also implies other results such as exponential growth.
Generalising Nachbin's theory of "topology and order", in this paper we continue the study of quantale-enriched categories equipped with a compact Hausdorff topology. We compare these $\mathcal{V}$-categorical compact Hausdorff spaces with…
We prove that every finite connected simplicial complex has the homology of the classifying space for some $\mathrm{CAT}(0)$ cubical duality group. More specifically, for any finite simplicial complex $X$, we construct a locally…
Several sets of radially propagating null congruence generators are exploited in order to form 3-dimensional marginally trapped surfaces, referred to as black hole and cosmological apparent horizons in a Horava universe. Based on this…
Whenever I is a projectively generated projectively defined sigma ideal on the reals, if ZFC+large cardinals proves cov(I)=continuum then ZFC+large cardinals proves non(I)<aleph four.
In this note, we work out a simple inductive proof showing that every polyhedral cone K is the conic hull of a finite set X of vectors. The base cases of the induction are linear subspaces and linear halfspaces of linear subspaces. The…
We prove that a finitely generated group contains a sequence of non-trivial elements which converge to the identity in every compact homomorphic image if and only if the group is not virtually abelian.
We show that all finitely generated free-by-cyclic groups are conjugacy separable: if a finitely generated group $G$ surjects onto $\mathbb{Z}$ with free kernel, then for every pair of non-conjugate elements $g,h\in G$, there exists a…
We prove smoothness in the dg sense of the bounded derived category of finitely generated modules over any finite-dimensional algebra over a perfect field, hereby answering a question of Iyama. More generally, we prove this statement for…
We show that every definable group G in an o-minimal structure is definably finitely generated. That is, G contains a finite subset that is not included in any proper definable subgroup. This provides another proof, and a generalization to…
We give an effective sufficient condition for a variational problem with infinite horizon on a compact Riemannian manifold M to admit a smooth optimal synthesis, i. e. a smooth dynamical system on M whose positive semi-trajectories are…
We investigate when the clone of congruence preserving functions is finitely generated. We obtain a full description for all finite $p$-groups, and for all finite algebras with Mal'cev term and simple congruence lattice. The…
First, we show that every complex torus $\mathbb{T}$ contains some entire curve $g: \mathbb{C}\rightarrow \mathbb{T}$ such that the concentric holomorphic discs $\{g\restriction_{\overline{\mathbb D}_{r}}\}_{r>0}$ can generate all the…
Universality has been an important concept in computable structure theory. A class $\mathcal{C}$ of structures is universal if, informally, for any structure, of any kind, there is a structure in $\mathcal{C}$ with the same…