Related papers: The Implicitly Constructible Universe
In this paper, we introduce a general family of sequent-style calculi over the modal language and its fragments to capture the essence of all constructively acceptable systems. Calling these calculi \emph{constructive}, we show that any…
For distant observers black holes are trapped spacetime domains bounded by apparent horizons. We review properties of the near-horizon geometry emphasizing the consequences of two common implicit assumptions of semiclassical physics. The…
We present a novel, perspicuous framework for building iterated ultrapowers. Furthermore, our framework naturally lends itself to the construction of a certain type of order indiscernibles, here dubbed tight indiscernibles, which are shown…
We study the representation theory of the infinite type A Hecke algebra over a non-archimedean field in the case where the parameter is a pseudo-uniformizer. Specifically, we consider a family of representations, called almost-symmetric,…
Given a projective morphism of compact, complex, algebraic varieties and a relatively ample line bundle on the domain we prove that a suitable choice, dictated by the line bundle, of the decomposition isomorphism of the Decomposition…
This paper deals with certain fundamental results about affine hulls and simplices in a real normed linear space. The framework of the paper is Bishop's constructive mathematics, which, with its characteristic interpretation of existence as…
The purpose of this paper is to discuss the various types of physical universe which could exist according to modern mathematical physics. The paper begins with an introduction that approaches the question from the viewpoint of ontic…
The many open questions concerning the existence of IR and UV fixed points in gauge theories as a function of the number of fermion flavors and bare coupling are briefly reviewed and discussed. It is pointed out that only a small subset of…
Given a finite dimensional algebra $\Lambda$, we show that a frequently satisfied finiteness condition for the category ${\cal P}^{\infty}(\Lambda\rm{-mod})$ of all finitely generated (left) $\Lambda$-modules of finite projective dimension,…
In this addendum to [4], we provide a pair of counterexamples relevant to the theory of implicit operations. More precisely, we exhibit a pp expansion of a variety that fails to be a variety (although it is a quasivariety). Furthermore, we…
We prove that in an arbitrary o-minimal structure, every interpretable group is definably isomorphic to a definable one. We also prove that every definable group lives in a cartesian product of one-dimensional definable group-intervals (or…
We provide examples of contractible complexes which fail to have non-positive immersions and weak non-positive immersions, answering a conjecture of Wise in the negative.
To what extent are all astrophysical, dark, compact objects both black holes (BHs) and described by the Kerr geometry? We embark on the exercise of defying the universality of this remarkable idea, often called the "Kerr hypothesis". After…
In the no-boundary univers e the universe is created from an instanton. However, there does not exist any instanton for the ``realistic'' $FRW$ universe with a scalar field. The ``instanton'' leading to its quantum creation may be modified…
In this note, we answer in negative a question posed by McGibbon about the generic property of H-space structure. In fact we verify the conjecture of Roitberg. Incidentally, the same example also answers in negative the open problem 10 in…
Infinity, in various guises, has been invoked recently in order to `explain' a number of important questions regarding observable phenomena in science, and in particular in cosmology. Such explanations are by their nature speculative. Here…
We introduce a new concept of infinite quasi-exactly solvable models which are constructable through multi-parameter deformations of known exactly solvable ones. The spectral problem for these models admits exact solutions for infinitely…
This paper introduces a space of variable lotteries and proves a constructive version of the expected utility theorem. The word ``constructive'' is used here in two senses. First, as in constructive mathematics, the logic underlying proofs…
Singular instantons of the type introduced by Hawking and Turok (hep-th/9802030) lead to unacceptable physical consequences and cannot, therefore, be used to describe the creation of open universes.
We provide various counter-examples to the long-standing so-called "Omnibus Conjecture" in Rational Homotopy Theory. That is, we show that a space with finite dimensional even-degree rational cohomology and finite dimensional spherical…