Related papers: Countable imaginary simple unidimensional theories
The Euler-Poincar\'e characteristic of a finite-dimensional Lie algebra vanishes. If we want to extend this result to Lie superalgebras, we should deal with infinite sums. We observe that a suitable method of summation, which goes back to…
We present an extremely elementary construction of the simple Lie algebras over the complex numbers in all of their minuscule representations, using the vertices of various polytopes. The construction itself requires no complicated…
We start by presenting a theory of finite sets using the approach which is essentially that taken by Whitehead and Russell in Principia Mathematica}, and which does not involve the natural numbers (or any other infinite set). This theory is…
Recent improvement on Tarski's procedure for quantifier elimination in the first order theory of real numbers makes it feasible to solve small instances of the following problems completely automatically: 1. listing all equality and…
In this paper, we present a novel generalization of the classical Ceva theorem to arbitrarily dimensional simplexes. Our approach allows cevians to have any dimension (smaller than the dimension of the base simplex). Consequently, our…
For a finite-dimensional Lie algebra $\mathfrak{L}$ over $\mathbb{C}$ with a fixed Levi decomposition $\mathfrak{L} = \mathfrak{g} \oplus \mathfrak{r}$ where $\mathfrak{g}$ is semi-simple, we investigate $\mathfrak{L}$-modules which…
We discuss a universal algebraic approach to quasi-exactly solvable models which allows us to interpret them as constrained Hamiltonian systems with a finite number of physical states. Using this approach we reproduce well-known…
We discuss homogeneity and universality issues in the theory of abstract linear spaces, namely, structures with points and lines satisfying natural axioms, as in Euclidean or projective geometry. We show that the two smallest projective…
We describe the ternary and the generalized superderivations of finite-dimensional semisimple Jordan superalgebras over an algebraically closed field of characteristic zero and of finite-dimensional simple Jordan superalgebras with…
An elementary proof is given for the existence of infinite dimensional abelian subalgebras in quantum W-algebras. In suitable realizations these subalgebras define the conserved charges of various quantum integrable systems. We consider all…
Supergravity with eight supercharges in a four-dimensional Euclidean space is constructed at the full non-linear level by performing an off-shell time-like reduction of five-dimensional supergravity. The resulting four-dimensional theory is…
Turing's famous 'machine' framework provides an intuitively clear conception of 'computing with real numbers'. A recursive counterexample to a theorem shows that the theorem does not hold when restricted to computable objects. These…
We prove an arithmetic removal result for all compact abelian groups, generalizing a finitary removal result of Kr\'al', Serra and the third author. To this end, we consider infinite measurable hypergraphs that are invariant under certain…
We study the positive theory of groups acting on trees and show that under the presence of weak small cancellation elements, the positive theory of the group is trivial, i.e. coincides with the positive theory of a non-abelian free group.…
We show that the embeddability relations for countable quandles and for countable fields of any given characteristic other than 2 are maximally complex in a strong sense: they are invariantly universal. This notion from the theory of Borel…
We give a direct, detailed and relatively short proof of Shelah's theorem on club guessing sequences on $S^{\mu^+}_\mu$ (for any regular, uncountable cardinal $\mu$).
We provide requirements on effectively enumerable topological spaces which guarantee that the Rice-Shapiro theorem holds for the computable elements of these spaces. We show that the relaxation of these requirements leads to the classes of…
Let $M$ be an analytic manifold over $\mathbb{R}$ or $\mathbb{C}$, $\theta$ a $1$-dimensional Log-Canonical (resp. monomial) singular distribution and $\mathcal{I}$ a coherent ideal sheaf defined on $M$. We prove the existence of a…
We calculate the low energy effective action of massless and massive complex linear superfields coupled to a massive U(1) vector multiplet. Our calculations include superspace higher derivative corrections and therefore go beyond previous…
We show that the K-theory cosheaf is a complete invariant for separable continuous fields with vanishing boundary maps over a finite-dimensional compact metrizable topological space whose fibers are stable Kirchberg algebras with rational…