Related papers: Existentially Closed Brouwerian Semilattices

In this work some results on the structure-preserving diagonalization of selfadjoint and skewadjoint matrices in indefinite inner product spaces are presented. In particular, necessary and sufficient conditions on the symplectic…

We characterize conservative median algebras and semilattices by means of forbidden substructures and by providing their representation as chains. Moreover, using a dual equivalence between median algebras and certain topological…

In this work one proves that, around each point of a dense open set (regular points), a real analytic or holomorphic bihamiltonian structure decomposes into a product of a Kronecker bihamiltonian structure and a symplectic one if a…

In this article, we give a short algebraic proof that all closed intervals in a $\gamma$-Cambrian semilattice $\mathcal{C}_{\gamma}$ are trim for any Coxeter group $W$ and any Coxeter element $\gamma\in W$. This means that if such an…

Every quasi completely regular semiring is a b-lattice of completely Archimedean semirings, i.e., a b-lattice of nil-extensions of completely simple semirings. In this paper we consider the semiring which is a b-lattice of nil-extensions of…

We study locally conformally balanced metrics on almost abelian Lie algebras, namely solvable Lie algebras admitting an abelian ideal of codimension one, providing characterizations in every dimension. Moreover, we classify six-dimensional…

In this article, we study the elements with disconnected centralizer in the Brauer complex associated to a simple algebraic group G defined over a finite field with corresponding Frobenius map F and derive the number of F-stable semisimple…

A finite non-degenerate set-theoretic solution $(X,r)$ of the Yang-Baxter equation gives rise to a structure skew brace $B(X,r)$ that is a $\lambda_f$-skew brace, i.e. every element has finitely many $\lambda$-images, and whose additive…

A lattice L is spatial if every element of L is a join of completely join-irreducible elements of L (points), and strongly spatial if it is spatial and the minimal coverings of completely join-irreducible elements are well-behaved.…

A lattice-ordered group (an $\ell$-group) $G(\oplus, \vee, \wedge)$ can be naturally viewed as a semiring $G(\vee,\oplus)$. We give a full classification of (abelian) $\ell$-groups which are finitely generated as semirings, by first showing…

It is shown that the lattices of flats of boolean representable simplicial complexes are always atomistic, but semimodular if and only if the complex is a matroid. A canonical construction is introduced for arbitrary finite atomistic…

We present a generic construction of finite realisations of amalgamation patterns. An amalgamation pattern is specified by a finite collection of finite template structures together with a collection of partial isomorphisms between them. A…

We prove that any ergodic measure-preserving action of an irreducible lattice in a semisimple group, with finite center and each simple factor having rank at least two, either has finite orbits or has finite stabilizers. The same dichotomy…

We show that every finite Abelian algebra A from congruence-permutable varieties admits a full duality. In the process, we prove that A also allows a strong duality, and that the duality may be induced by a dualizing structure of finite…

We construct a new class of quasi-exactly solvable many-body Hamiltonians in arbitrary dimensions, whose ground states can have any correlations we choose. Some of the known correlations in one dimension and some recent novel correlations…

We use the non-proper Morse theory of Palais-Smale to investigate the topology of smooth closed subvarieties of complex semi-abelian varieties, and that of their infinite cyclic covers. As main applications, we obtain the finite generation…

We study the automorphism group of the algebraic closure of a substructure A of a pseudo-finite field F. We show that the behavior of this group, even when A is large, depends essentially on the roots of unity in F. For almost all…

The paper is devoted to prove a version of Milnor-Moore Theorem for connected braided bialgebras that are infinitesimally cocommutative. Namely in characteristic different from 2, we prove that, for a given connected braided bialgebra $A$…

Divisible residuated lattices are algebraic structures corresponding to a more comprehensive logic than Hajek's basic logic with an important significance in the study of fuzzy logic. The purpose of this paper is to investigate commutative…

A relativistic topological insulator model in three spatial dimensions which is a non trivial extension of the non-abelian Landau problem is proposed. The model is exactly soluble and energy levels have both a discrete and a continuous…