Related papers: On ultrafilter construction
Highly saturated models are a fundamental part of the model-theoretic machinery of nonstandard analysis. Of the two methods for producing them, ultrapowers constructed with the aid of $\kappa^+$-good ultrafilters seems by far the less…
We characterize the canonical diagonal subalgebra of the C*-algebra associated with a generalized Boolean dynamical system. We also introduce a particular commutative subalgebra, which we call the abelian core, in our C*-algebra. We then…
We apply a universal normal Calabi-Yau algebra to the construction and classification of compact complex $n$-dimensional spaces with SU(n) holonomy and their fibrations. This algebraic approach includes natural extensions of reflexive…
It is pointed out that affine Lie algebras appear to be the natural mathematical structure underlying the notion of integrability for two-dimensional systems. Their role in the construction and classification of 2D integrable systems is…
We present a universal normal algebra suitable for constructing and classifying Calabi-Yau spaces in arbitrary dimensions. This algebraic approach includes natural extensions of reflexive weight vectors to higher dimensions, related to…
We construct, in ZFC, a sequence of Boolean algebras for which the product of Lengths is strictly smaller than the Length of the product algebra.
In this work we construct a infinite dimensional $\ell$-super Galilean conformal algebra, which is a generalization of the $\ell=1$ algebra found in the literature. We give a classification of central extensions, the vector field…
Using the Poisson current algebra of the supersymmetric principal chiral model, we develop the algebraic canonical structure of the model by evaluating the fundamental Poisson bracket of the Lax matrices that fits into the rs matrix…
There exist two distinct types of ultrafilter extensions of binary relations, one discovered in universal algebra and modal logic, and another, in model theory and algebra of ultrafilters. We show that the extension of the latter type is…
Estimation algebras have been extensively studied in Euclidean space, where finite-dimensional estimation algebras form the foundation of the Kalman and Benes filters, and have contributed to the discovery of many other finite-dimensional…
A general method to easily build global and relative operators for any number n of elementary systems if they are defined for 2 is presented. It is based on properties of the morphisms valued in the tensor products of algebras of the…
We describe a class calculus that is expressive enough to describe and improve its own learning process. It can design and debug programs that satisfy given input/output constraints, based on its ontology of previously learned programs. It…
The ultraproduct construction is generalized to $p$-ultramean constructions ($1\leqslant p<\infty$) by replacing ultrafilters with finitely additive measures. These constructions correspond to the linear fragments $\mathscr L^p$ of…
The basic methods of constructing the sets of mutually unbiased bases in the Hilbert space of an arbitrary finite dimension are discussed and an emerging link between them is outlined. It is shown that these methods employ a wide range of…
The classical Tits construction of the exceptional simple Lie algebras has been extended in a couple of directions by using either Jordan superalgebras or composition superalgebras. These extensions are reviewed here. The outcome has been…
The paper investigates possible generalisations of Maharam's theorem to a classification of Boolean algebras that support a finitely additive measure. We prove that Boolean algebras that support a finitely additive non-atomic uniformly…
This book is an introductory course to basic commutative algebra with a particular emphasis on finitely generated projective modules, which constitutes the algebraic version of the vector bundles in differential geometry. We adopt the…
In recent years, several problems regarding the partition regularity of exponential configurations have been studied in the literature, in some cases using the properties of specific ultrafilters. In this paper, we start to lay down the…
We describe a new class of Boolean functions which provide the presently best known trade-off between low computational complexity, nonlinearity and (fast) algebraic immunity. In particular, for $n\leq 20$, we show that there are functions…
Let $\textbf{U}^+$ be the positive part of the quantum group $\textbf{U}$ associated with a generalized Cartan matrix. In the case of finite type, Lusztig constructed the canonical basis $\textbf{B}$ of $\textbf{U}^+$ via two approaches.…