Related papers: Countable imaginary simple unidimensional theories
In this short note we present several infinite dimensional theorems which generalize corresponding facts from the finite dimensional differential inclusions theory.
The ultrapower theorem of Keisler-Shelah allows such model-theoretic notions as elementary equivalence, elementary embedding and existential embedding to be couched in the language of categories (limits, morphism diagrams). This in turn…
The Fitting subgroup of a type-definable group in a simple theory is relatively definable and nilpotent. Moreover, the Fitting subgroup of a supersimple hyperdefinable group has a normal hyperdefinable nilpotent subgroup of bounded index,…
We discuss models with no dynamical vector fields in various dimensions which we claim might have exceptional symmetry on some loci of their parameter space. In particular we construct theories with four supercharges flowing to theories…
Starting from non-minimal supergravity theory with unified gauge symmetry, we obtain the low-energy effective theory by taking the flat limit and integrating out the superheavy fields in a model-independent manner. The scalar potential has…
The description of irreducible finite dimensional representations of finite dimensional solvable Lie superalgebras over complex numbers given by V.~Kac is refined. In reality these representations are not just induced from a polarization…
We develop an axiomatic set theory -- the Theory of Hyperfinite Sets THS, which is based on the idea of existence of proper subclasses of big finite sets. We demonstrate how theorems of classical continuous mathematics can be transfered to…
We show that there exist closed manifolds with arbitrarily small transcendental simplicial volumes. Moreover, we exhibit an explicit uncountable family of (transcendental) real numbers that are not realised as the simplicial volume of a…
The reduction of higher dimensional supergravities to low dimensional dilaton gravity theories is outlined. Then a recently proposed new class of integrable theories of 0+1 and 1+1 dimensional dilaton gravity coupled to any number of scalar…
The structures $\langle M,\subseteq^M\rangle$ arising as the inclusion relation of a countable model of sufficient set theory $\langle M,\in^M\rangle$, whether well-founded or not, are all isomorphic. These structures $\langle…
In previous papers on this project a general static logical framework for formalizing and mechanizing set theories of different strength was suggested, and the power of some predicatively acceptable theories in that framework was explored.…
Ultrafinitism postulates that we can only compute on relatively short objects, and numbers beyond certain value are not available. This approach would also forbid many forms of infinitary reasoning and allow to remove certain paradoxes…
We construct a countable simple theory which, in Keisler's order, is strictly above the random graph (but "barely so") and also in some sense orthogonal to the building blocks of the recently discovered infinite descending chain. As a…
A countable group is C*-simple if its reduced C*-algebra is simple. It is well known that C*-simplicity implies that the amenable radical of the group must be trivial. We show that the converse does not hold by constructing explicit…
In this paper, we study necessary and sufficient conditions for the existence of categorical universal coverings using open covers of a given space $X$. As some applications, first we present a generalized version of the Shelah Theorem…
We construct a class of nonabelian superconformal (1,0) hypermultiplet theories in six dimensions by introducing an abelian auxiliary field. The gauge fields of this class of theories are non-dynamical, and this class of theories can be…
We construct a model category (in the sense of Quillen) for set theory, starting from two arbitrary, but natural, conventions. It is the simplest category satisfying our conventions and modelling the notions of finiteness, countability and…
We show that finite-dimensional Lie algebras over a field of characteristic zero such that the second cohomology group in every finite-dimensional module vanishes, are, essentially, semisimple.
We characterize countable dimensionality and strong countable dimensionality by means of an infinite game.
In this short note, we mimic the proof of the simplicity of the theory ACFA of generic difference fields in order to provide a criterion, valid for certain theories of pure fields and fields equipped with operators, which shows that a…