Related papers: The Implicitly Constructible Universe
We consider the space of nilpotent Higgs bundles on a weighted projective line, as a global analog of the nilpotent cone. We show that it is pure, compute its dimension, and define geometric correspondences between irreducible components.…
Using Isabelle/HOL, we verify a union-find data structure with an explain operation due to Nieuwenhuis and Oliveras. We devise a simpler, more naive version of the explain operation whose soundness and completeness is easy to verify. Then,…
Some contemporary views of the universe assume information and computation to be key in understanding and explaining the basic structure underpinning physical reality. We introduce the Computable Universe exploring some of the basic…
For a connected semisimple Lie group $G$ we describe an explicit collection of correspondences between the admissible dual of $G$ and the admissible dual of the Cartan motion group associated with $G$. We conjecture that each of these…
We show that bounded type implies finite type for a constructible subcategory of the module category of a finitely generated algebra over a field, which is a variant of the first Brauer-Thrall conjecture. A full subcategory is constructible…
The compactness theorem for a logic states, roughly, that the satisfiability of a set of well-formed formulas can be determined from the satisfiability of its finite subsets, and vice versa. Usually, proofs of this theorem depend on the…
The creation of universes in entangled pairs may avoid the initial singularity and it would have observable consequences in a large macroscopic universe like ours, at least in principle. In this paper we describe the creation of an…
We construct some new Integrable Systems (IS) both classical and quantum associated with elliptic algebras. Our constructions are partly based on the algebraic integrability mechanism given by the existence of commuting families in skew…
We consider natural $\Sigma^1_2$ definable analogues of many of the classical statements that have been shown to be equivalent to CH. It is shown that these $\Sigma^1_2$ analogues are equivalent to that all reals are constructible. We also…
I discuss the construction of Simplified Models for Dark Matter searches at the LHC. After reviewing the phylosophy and some simple example, I turn the attention to the aspect of the theoretical consistency of these models.
We study fragments of first-order logic and of least fixed point logic that allow only unary negation: negation of formulas with at most one free variable. These logics generalize many interesting known formalisms, including modal logic and…
We present a local and constructive differential geometric description of finite-dimensional solvable and transitive Lie algebras of vector fields. We show that it implies a Lie's conjecture for such Lie algebras. Also infinite-dimensional…
We give a simpler proof of a result of Hodkinson in the context of a blow and blur up construction argueing that the idea at heart is similar to that adopted by Andr\'eka et all \cite{sayed}. The idea is to blow up a finite structure,…
We investigate the satisfiability degree of some equations in finite BCK-algebras; that is, given a finite BCK-algebra and an equation in the language of BCK-algebras, what is the probability that elements chosen uniformly randomly with…
This paper deals with sufficiency conditions for irreducibility of certain induced modules. We also construct irreducible representations for a group $G$ over a field ${\mathbb K}$ where the group $G$ is a semidirect product of a normal…
We calculate the average numbers of closed, flat, and open universes spontaneously created from nothing in third quantization. The creation of universes is exponentially suppressed for large values of the kinetic energy of the inflaton,…
In this paper, we introduce the notion of the universe, induced communities, and cells with their corresponding spots. Using this language, we formulate and prove the union close set conjecture by showing that for any finite universe…
In this paper we examine the commutativity of ideal extensions. We introduce methods of constructing such extensions, in particular we construct a noncommutative ring T which contains a central and idempotent ideal I such that T/I is a…
We use a generalization of a construction by Ziegler to show that for any field $F$ and any countable collection of countable subsets $A_i \subseteq F, i \in \calI \subset \Z_{>0}$ there exist infinitely many fields $K$ of arbitrary…
Based on the cosmological results of the Planck Mission, we show that all parameters describing our Universe within the \Lambda CDM model can be constructed from a small set of numbers known from conspiracy theory. Our finding is confirmed…