Related papers: Countable imaginary simple unidimensional theories
We show that we can interpret concatenation theories in arithmetical theories without coding sequences.
We show that a minimal ideal of a finite-dimensional Lie algebra is either simple or abelian.
We study uncountable structures similar to the Fra\"iss\'e limits. The standard inductive arguments from the Fra\"iss\'e theory are replaced by forcing, so the structures we obtain are highly sensitive to the universe of set theory. In…
We show that every countable direct system of finite-dimensional real or complex Lie groups has a direct limit in the category of Lie groups modelled on locally convex spaces. This enables us to push all basic constructions of…
The notion of hidden symmetry algebra used in the context of exactly solvable systems is re-examined from the purely algebraic way, analyzing subspaces of commuting polynomials that generate finite-dimensional quadratic algebras. By…
In this note, we will prove that a finite dimensional Lie algebra $L$ of characteristic zero, admitting an abelian algebra of derivations $D\leq Der(L)$ with the property $$ L^n\subseteq \sum_{d\in D}d(L) $$ for some $n\geq 1$, is…
Imposing a strong condition on the linear order of shellable complexes, we introduce strong shellability. Basic properties, including the existence of dimension-decreasing strong shelling orders, are developed with respect to nonpure…
The simple integrable modules with finite dimensional weight spaces are classified for the quantum affine special linear superalgebra $\U_q(\hat{\mathfrak{sl}}(M|N))$ at generic $q$. Any such module is shown to be a highest weight or lowest…
We consider an hierarchy of integrable 1+2-dimensional equations related to Lie algebra of the vector fields on the line. The solutions in quadratures are constructed depending on $n$ arbitrary functions of one argument. The most…
Orbit-finite models of computation generalise the standard models of computation, to allow computation over infinite objects that are finite up to symmetries on atoms, denoted by $\mathbb{A}$. Set theory with atoms is used to reason about…
In the context of continuous first-order logic, special attention is often given to theories that are somehow continuous in an 'essential' way. A common feature of such theories is that they do not interpret any infinite discrete…
In this paper, we classify simple strong Harish-Chandra modules over the Lie superalgebra $W_{m,n}$ of vector fields on $\C^{m|n}$. Any such module is the unique simple submodule of some tensor module $F(P,V)$ for a simple weight module $P$…
A type analysable in one-based types in a simple theory is itself one-based.
In this expository article, we give a self-contained introduction to the wonderfully well-behaved class of pseudocompact algebras, focusing on the foundational classes of semisimple and separable algebras. We give characterizations of such…
A new type of singularity theorem, based on spatial averages of physical quantities, is presented and discussed. Alternatively, the results inform us of when a spacetime can be singularity-free. This theorem provides a decisive…
In this paper, the set of all physical theories is represented by a countable collection of consequence operators. It is established that in the Grundlegend Structure, a nonstandard structure, there exists a function S such that for any…
We investigate the theory of finite observables, i.e., resolutions of the finite-dimensional identity by means of positive operators, that have a physical interpretation in terms of measurement schemes. We focus on extremal and rank-one…
We employ the formalism of vanishing cycles and perverse sheaves to introduce and study the vanishing cohomology of complex projective hypersurfaces. As a consequence, we give upper bounds for the Betti numbers of projective hypersurfaces,…
Every finite-dimensional unitary representation of the N-extended worldline supersymmetry without central charges may be obtained by a sequence of differential transformations from a direct sum of minimal Adinkras, simple supermultiplets…
We study unitarity of lowest weight irreducible representations of rational Cherednik algebras. We prove several general results, and use them to determine which lowest weight representations are unitary in a number of cases. In particular,…