Related papers: The Implicitly Constructible Universe
Implicit computational complexity, which aims at characterizing complexity classes by machine-independent means, has traditionally been based, on the one hand, on programs and deductive formalisms for free algebras, and on the other hand on…
This book is an introductory course to basic commutative algebra with a particular emphasis on finitely generated projective modules. We adopt the constructive point of view, with which all existence theorems have an explicit algorithmic…
Rationally convex topological embeddings of compact surfaces (closed or with boundary) into $\mathbb{C}^2$ are constructed.
We prove that an equivalent condition for a uniform space to be coverable is that the images of the natural projections in the fundamental inverse system are uniformly open in a certain sense. As corollaries we (1) obtain a concrete way to…
We examine the relationship between finitely and infinitely generated relatively hyperbolic groups, in two different contexts. First, we elaborate on a remark from math.GR/0601311, which states that the version of Dehn filling in relatively…
Sufficient conditions for an ideal $\mathcal I$ in $R\Mod$ to be covering are proved. This allows to obtain an alternative proof of the existence of phantom covers of modules. Our approach is inspired by an extension of the standard…
Infinite-dimensional linear port-Hamiltonian systems on a one-dimensional spatial domain with full boundary control and without internal damping are studied. This class of systems includes models of beams and waves as well as the transport…
We study some gravitational instanton solutions that offer a natural realization of the spontaneous creation of inflationary universes in the brane world context in string theory. Decoherence due to couplings of higher (perturbative) modes…
Understanding invertibility in restricted mis\`ere play has been challenging; in particular, the possibility of non-conjugate inverses posed difficulties. Advances have been made in a few specific universes, but a general theorem was…
We present a new coherence theorem for comprehension categories, providing strict models of dependent type theory with all standard constructors, including dependent products, dependent sums, identity types, and other inductive types.…
We examine various categorical structures that can and cannot be constructed. We show that total computable functions can be mimicked by constructible functors. More generally, whatever can be done by a Turing machine can be constructed by…
A new direct proof of the Virtual Haken Conjecture, which asserts that every compact, orientable, irreducible three-dimensional manifold with infinite fundamental group has a finite cover that is Haken, will be given.
Here, we present a subcategory pEff of Hyland's Effective Topos Eff which can be considered a predicative variant of Eff itself. The construction of pEff is motivated by the desire of providing a "predicative" categorical universe of…
In this paper we will develop an axiomatic foundation for the geometric study of straight edge, protractor, and compass constructions, which while being related to previous foundations, will be the first to have all axioms written and all…
We show explicitly, for different types of extremal black holes, that test fields satisfying the null energy condition at the event horizon cannot violate the weak cosmic censorship conjecture. This is done by checking, in each case, that…
We construct classifying $\infty$-topoi by showing that the $(\infty,2)$-category of topoi has weighted limits. We show that several prestacks of interest have a classifying topos, including the prestack of spectra.
In this paper, we construct two convex bodies $K$ and $L$ in $\mathbb{R}^n$, $n\geq 3$, such that their projections $K|H$, $L|H$ onto every subspace $H$ are congruent, but nevertheless, $K$ and $L$ do not coincide up to a translation or a…
We improved the approximation of the model of the wormhole generated physical universe constructed by Choudhury and Pendharkar. We show here that the negative pressure of the unphysical wormhole can generate the right physical condition to…
In this letter we provide a reformulation of the strong cosmic censor conjecture taking into account recent results on Malament--Hogarth space-times. We claim that the strong version of the cosmic censor conjecture can be formulated by…
We prove that irreducible complex representations of finitely generated nilpotent groups are monomial if and only if they have finite weight, which was conjectured by Parshin. Note that we consider (possibly, infinite-dimensional)…