Related papers: Countable imaginary simple unidimensional theories
We introduce a combinatorial characterization of simpliciality for arrangements of hyperplanes. We then give a sharp upper bound for the number of hyperplanes of such an arrangement in the projective plane over a finite field, and present…
In the article at hand, we sketch how, by utilizing nilpotency to its fullest extent (Engel, Super Engel) while using methods from the theory of universal enveloping algebras, a complete description of the indecomposable representations may…
We give a new proof of quantifier elimination in the theory of all ordered abelian groups in a suitable language. More precisely, this is only "quantifier elimination relative to ordered sets" in the following sense. Each definable set in…
We prove a number of results motivated by global questions of uniformity in computability theory, and universality of countable Borel equivalence relations. Our main technical tool is a game for constructing functions on free products of…
In this article we prove three main theorems: (1) guessing models are internally unbounded, (2) for any regular cardinal $\kappa \ge \omega_2$, $\textsf{ISP}(\kappa)$ implies that $\textsf{SCH}$ holds above $\kappa$, and (3) forcing posets…
We distinguish a class of irreducible finite representations of conformal Lie (super)algebras. These representations (called universally defined) are the simplest ones from the computational point of view: a universally defined…
We show that there is no theory that is minimal with respect to interpretability among recursively enumerable essentially undecidable theories.
We describe in superspace a classical theory of two dimensional $(1,1)$ dilaton supergravity with a cosmological constant, both with and without coupling to a massive superparticle. We give general exact non-trivial superspace solutions for…
In this short note, we review several one-dimensional problems such as those involving linear Schroedinger equation, variable-coefficient Helmholtz equation, Zakharov-Shabat system and Kubelka-Munk equations. We show that they all can be…
This paper unifies problems and results related to (embedding) universal and homomorphism universal structures. On the one side we give a new combinatorial proof of the existence of universal objects for homomorphism defined classes of…
It is proved that classifiable simple separable nuclear purely infinite C*-algebras having finitely generated K-theory and torsion-free K_1 are semiprojective. This is accomplished by exhibiting these algebras as C*-algebras of infinite…
In the present work we investigate the possibility of superluminal information transmission in quantum theory. We give simple and general arguments to prove that the general structure (Hilbert's space plus instantaneous state reduction) of…
We present the first algorithm for computing class groups and unit groups of arbitrary number fields that provably runs in probabilistic subexponential time, assuming the Extended Riemann Hypothesis (ERH). Previous subexponential algorithms…
Hypersurfaces of arbitrary causal character embedded in a spacetime are studied with the aim of extracting necessary and sufficient free data on the submanifold suitable for reconstructing the spacetime metric and its first derivative along…
In this brief report, we analyze a generalized theory of massless scalar QED_2 and show that, unlike the conventional scalar QED_2, it is free from infrared divergence problems. The model is exactly soluble and may describe, in an 1+1…
Let $T$ be a countable complete first-order theory with a definable, infinite, discrete linear order. We prove that $T$ has continuum-many countable models. The proof is purely first-order, but raises the question of Borel completeness of…
We consider the problem of constructing semisimple subalgebras of real (semi-) simple Lie algebras. We develop computational methods that help to deal with this problem. Our methods boil down to solving a set of polynomial equations. In…
We use a toy model to illustrate how to build effective theories for singular potentials. We consider a central attractive 1/r^2 potential perturbed by a 1/r^4 correction. The power-counting rule, an important ingredient of effective…
We prove, assuming Souslin's Hypothesis, that each uncountable subspace of each zero-dimensional monotonically normal compact space contains an uncountable subset of the real line with either the metric, the Sorgenfrey, or the discrete…
We argue that compactifications on Calabi-Yau threefolds with vanishing Euler number yield effective four dimensional theories exhibiting (spontaneously broken) N=4 supersymmetry. To this end, we derive the low-energy effective action for…