Minimal generics from subvarieties of the clone extension of the variety of Boolean algebras

Jerzy Płonka

Displaying similar documents to “Minimal generics from subvarieties of the clone extension of the variety of Boolean algebras”

The lattice of subvarieties of the biregularization of the variety of Boolean algebras

Jerzy Płonka (2001)

Discussiones Mathematicae - General Algebra and Applications

Similarity:

Let τ: F → N be a type of algebras, where F is a set of fundamental operation symbols and N is the set of all positive integers. An identity φ ≈ ψ is called biregular if it has the same variables in each of it sides and it has the same fundamental operation symbols in each of it sides. For a variety V of type τ we denote by $V_{b}$ the biregularization of V, i.e. the variety of type τ defined by all biregular identities from Id(V). Let B be the variety of Boolean algebras of type $τ_{b} : +, \cdot, ´ \to N$ , where...

$\forall_{n}$ -theories of Boolean algebras

Jan Waszkiewicz (1974)

Colloquium Mathematicae

Similarity:

Boolean algebras, splitting theorems, and $Δ_{2}^{0}$ sets

Michael Morley, Robert Soare (1975)

Fundamenta Mathematicae

Similarity:

Generalised irredundance in graphs: Nordhaus-Gaddum bounds

Ernest J. Cockayne, Stephen Finbow (2004)

Discussiones Mathematicae Graph Theory

Similarity:

For each vertex s of the vertex subset S of a simple graph G, we define Boolean variables p = p(s,S), q = q(s,S) and r = r(s,S) which measure existence of three kinds of S-private neighbours (S-pns) of s. A 3-variable Boolean function f = f(p,q,r) may be considered as a compound existence property of S-pns. The subset S is called an f-set of G if f = 1 for all s ∈ S and the class of f-sets of G is denoted by $Ω_{f} (G)$ . Only 64 Boolean functions f can produce different classes $Ω_{f} (G)$ , special cases...

A representation theorem for tense $n \times m$ -valued Łukasiewicz-Moisil algebras

Aldo Victorio Figallo, Gustavo Pelaitay (2015)

Mathematica Bohemica

Similarity:

In 2000, Figallo and Sanza introduced $n \times m$ -valued Łukasiewicz-Moisil algebras which are both particular cases of matrix Łukasiewicz algebras and a generalization of $n$ -valued Łukasiewicz-Moisil algebras. Here we initiate an investigation into the class $_{n \times m}$ of tense $n \times m$ -valued Łukasiewicz-Moisil algebras (or tense LM $_{n \times m}$ -algebras), namely $n \times m$ -valued Łukasiewicz-Moisil algebras endowed with two unary operations called tense operators. These algebras constitute a generalization of tense...

k-Normalization and (k+1)-level inflation of varieties

Valerie Cheng, Shelly Wismath (2008)

Discussiones Mathematicae - General Algebra and Applications

Similarity:

Let τ be a type of algebras. A common measurement of the complexity of terms of type τ is the depth of a term. For k ≥ 1, an identity s ≈ t of type τ is said to be k-normal (with respect to this depth complexity measurement) if either s = t or both s and t have depth ≥ k. A variety is called k-normal if all its identities are k-normal. Taking k = 1 with respect to the usual depth valuation of terms gives the well-known property of normality of identities or varieties. For any variety...

On the number of finite algebraic structures

Erhard Aichinger, Peter Mayr, R. McKenzie (2014)

Journal of the European Mathematical Society

Similarity:

We prove that every clone of operations on a finite set $A$ , if it contains a Malcev operation, is finitely related – i.e., identical with the clone of all operations respecting $R$ for some finitary relation $R$ over $A$ . It follows that for a fixed finite set $A$ , the set of all such Malcev clones is countable. This completes the solution of a problem that was first formulated in 1980, or earlier: how many Malcev clones can finite sets support? More generally, we prove that every finite algebra...

On generalized Beurling’s theorem and symmetry of $L_{1}$ -group algebras

Zenobia Anusiak (1971)

Colloquium Mathematicae

Similarity:

A generalization of a formalized theory of fields of sets on non-classical logics

Helena Rasiowa

Similarity:

Contents Introduction.................................................................................................................................................. 3 § 1. System $𝒮$ of a propositional calculus...................................................................... 4 § 2. System $𝒮 *$ ..................................................................................................................... 5 § 3. $𝒮 *$ -algebras.....................................................................................................................

On cardinalities of algebras of formulas for $ω_{0}$ -categorical theories

Jan Waszkiewicz (1973)

Colloquium Mathematicae

Similarity:

$ℵ_{0}$ -categoricity of products of 1-unary algebras

Philip Olin (1975)

Colloquium Mathematicae

Similarity:

FKN Theorem on the biased cube

Piotr Nayar (2014)

Colloquium Mathematicae

Similarity:

We consider Boolean functions defined on the discrete cube $- γ, γ^{- 1} ⁿ$ equipped with a product probability measure $μ^{\otimes n}$ , where $μ = β δ_{- γ} + α δ_{γ^{- 1}}$ and γ = √(α/β). This normalization ensures that the coordinate functions ${(x_{i})}_{i = 1, . . ., n}$ are orthonormal in $L ₂ (- γ, γ^{- 1} ⁿ, μ^{\otimes n})$ . We prove that if the spectrum of a Boolean function is concentrated on the first two Fourier levels, then the function is close to a certain function of one variable. Our theorem strengthens the non-symmetric FKN Theorem due to Jendrej, Oleszkiewicz and Wojtaszczyk. Moreover,...

Regular elements and Green's relations in Menger algebras of terms

Klaus Denecke, Prakit Jampachon (2006)

Discussiones Mathematicae - General Algebra and Applications

Similarity:

Defining an (n+1)-ary superposition operation $S^{n}$ on the set $W_{τ} (X_{n})$ of all n-ary terms of type τ, one obtains an algebra $n - c l o n e τ : = (W_{τ} (X_{n}); S^{n}, x_{1}, . . ., x_{n})$ of type (n+1,0,...,0). The algebra n-clone τ is free in the variety of all Menger algebras ([9]). Using the operation $S^{n}$ there are different possibilities to define binary associative operations on the set $W_{τ} (X_{n})$ and on the cartesian power $W_{τ} {(X_{n})}^{n}$ . In this paper we study idempotent and regular elements as well as Green’s relations in semigroups of terms with these binary associative...

The rings which are Boolean

Ivan Chajda, Filip Švrček (2011)

Discussiones Mathematicae - General Algebra and Applications

Similarity:

We study unitary rings of characteristic 2 satisfying identity $x^{p} = x$ for some natural number p. We characterize several infinite families of these rings which are Boolean, i.e., every element is idempotent. For example, it is in the case if $p = 2^{n} - 2$ or $p = 2^{n} - 5$ or $p = 2^{n} + 1$ for a suitable natural number n. Some other (more general) cases are solved for p expressed in the form $2^{q} + 2 m + 1$ or $2^{q} + 2 m$ where q is a natural number and $m \in 1, 2, . . ., 2^{q} - 1$ .

Singularity categories of skewed-gentle algebras

Xinhong Chen, Ming Lu (2015)

Colloquium Mathematicae

Similarity:

Let K be an algebraically closed field. Let (Q,Sp,I) be a skewed-gentle triple, and let $(Q^{s g}, I^{s g})$ and $(Q^{g}, I^{g})$ be the corresponding skewed-gentle pair and the associated gentle pair, respectively. We prove that the skewed-gentle algebra $K Q^{s g} / ⟨ I^{s g} ⟩$ is singularity equivalent to KQ/⟨I⟩. Moreover, we use (Q,Sp,I) to describe the singularity category of $K Q^{g} / ⟨ I^{g} ⟩$ . As a corollary, we find that $g l d i m K Q^{s g} / ⟨ I^{s g} ⟩ < \infty$ if and only if $g l d i m K Q / ⟨ I ⟩ < \infty$ if and only if $g l d i m K Q^{g} / ⟨ I^{g} ⟩ < \infty$ .