We construct Boolean-valued term models and describe their universal properties. The underlying set of these models consists of the terms of the underlying language, while formulae are interpreted in the Lindenbaum-Tarski algebra of open formulae. Subspaces of the Stone space of the Lindenbaum-Tarski algebra of open formulae are shown to be homeomorphic to spaces of enumerated models models equ...

We study the concept of finitary formal topology, a point-free version of a topological space with a basis of compact open subsets. The notion of finitary formal topology is defined from the perspective of the Basic Picture (introduced by the second author) and thus it is endowed with a binary positivity relation. As an application, we prove a constructive version of Stone’s representation theo...

Analogs of almost periodic functions for the unit circle are introduced. Certain uniform algebras generated by such functions are studied, the corona theorems for them are proved, and their maximal ideal spaces are described. §1. Formulation of main results 1.1. The classical almost periodic functions on the real line, as first introduced by H. Bohr in the 1920s, play an important role in vario...

This work is an investigation into the structure and properties of supersymmetric hypermatrix Lie algebra generated by elements of the dihedral group D3. It is based on previous work on the subject of supersymmetric Lie algebra (Schreiber, 2012). In preview work I used several new algebraic tools; namely cubic hypermatrices (including special arrangements of such hypermatrices) and I obtained a...

We prove nilpotency results for Lie algebras over an arbitrary field admitting a derivation, which satisfies given polynomial identity r(t) = 0. In the special case of r=tn−1 we obtain uniform bound on class periodic derivation order n. even find optimal in characteristic p if does not divide certain invariant ρn.

We examine links between the theory of braces and set-theoretical solutions Yang–Baxter equation, fundamental concepts from quantum integrable systems. More precisely, we make connections with Hecke algebras identify new groups associated to set-theoretic coming braces. also construct a novel class discrete systems derive symmetries for corresponding periodic transfer matrices.

In the present paper, by considering the notion of ideals in $MV$-algebras, we study some kinds of ideals in $MV$-algebras and obtain some results on them. For example, we present definition of ultra ideal in $MV$-algebras, and we get some results on it. In fact, by definition of ultra ideals, we present new conditions to have prime ideals, positive implicative ideals and maximal ideals in $MV$...

Some aspects of the theory of Boolean algebras and distributive lattices -in particular, the Stone Representation Theorems and the properties of filters and ideals -are analyzed in a constructive setting.