English
Related papers

Related papers: Variations of Independence in Boolean Algebras

200 papers

The main purpose of this article is to provide new results on algebraic independence of values of Mahler functions and their generalizations. Simultaneously, we establish new measures of algebraic independence for these values. Among the…

Number Theory · Mathematics 2017-06-06 Evgeniy Zorin

$G$ be a finite group and $A$ a $G$-graded algebra over a field $F$ of characteristic zero. We characterize the varieties of $G$-graded algebras such that the multiplicities $m_{\langle \lambda \rangle}$ appering in the $\langle n \rangle…

Rings and Algebras · Mathematics 2025-10-07 R. B. dos Santos , A. C Vieira , R. F. D. N. Vieira

We try to build, provably in ZFC, for a first order T a model in which any isomorphism between two Boolean algebras is definable. The problem, compared to [Sh:384], is with pseudo-finite Boolean algebras. A side benefit is that we do not…

Logic · Mathematics 2016-01-15 Saharon Shelah

The least upper bound on degrees of elements of a minimal system of generators of the algebra of invariants of 3x3 matrices is found, and the nilpotency degree of a relatively free finitely generated algebra with the identity x^3=0 is…

Rings and Algebras · Mathematics 2007-05-23 A. A. Lopatin

In this paper, the notion of bi-Boolean independence for non-unital pairs of algebras is introduced thereby extending the notion of Boolean independence to pairs of algebras. The notion of B-$(\ell, r)$-cumulants is defined via a bi-Boolean…

Operator Algebras · Mathematics 2021-06-25 Yinzheng Gu , Paul Skoufranis

Let $\mathbf{A}$ be a finite nilpotent algebra in a congruence modular variety with finitely many fundamental operations. If $\mathbf{A}$ is of prime power order, then it is known that there is a polynomial $p$ such that for every $n \in…

Rings and Algebras · Mathematics 2020-11-30 Erhard Aichinger

Let $G$ be a simple, connected and finite graph with order $n$. Denote the independence number, edge independence number and total independence number by $\alpha(G), \alpha'(G)$ and $\alpha"(G)$ respectively. This paper establishes a…

Combinatorics · Mathematics 2023-11-01 Lewis Stanton

How many endomorphisms does a Boolean algebra have? Can we find Boolean algebras with as few endomorphisms as possible? Of course from any ultrafilter of the Boolean algebra we can define an endomorphism, and we can combine finitely many…

Logic · Mathematics 2011-05-20 Saharon Shelah

We continue the investigation of Boolean-like algebras of dimension n (nBA) having n constants e1,...,en, and an (n+1)-ary operation q (a "generalised if-then-else") that induces a decomposition of the algebra into n factors through the…

Logic in Computer Science · Computer Science 2022-10-26 Antonio Bucciarelli , Antonio Ledda , Francesco Paoli , Antonino Salibra

We introduce the notion of clone algebra, intended to found a one-sorted, purely algebraic theory of clones. Clone algebras are defined by true identities and thus form a variety in the sense of universal algebra. The most natural clone…

Logic · Mathematics 2021-01-19 Antonio Bucciarelli , Antonino Salibra

Function classes are collections of Boolean functions on a finite set, which are fundamental objects of study in theoretical computer science. We study algebraic properties of ideals associated to function classes previously defined by the…

Commutative Algebra · Mathematics 2020-06-18 Justin Chen , Christopher Eur , Greg Yang , Mengyuan Zhang

Let G be a simple graph with vertex set V(G). A subset S of V(G) is independent if no two vertices from S are adjacent. The graph G is known to be a Konig-Egervary if alpha(G) + mu(G)= |V(G)|, where alpha(G) denotes the size of a maximum…

Discrete Mathematics · Computer Science 2015-06-02 Adi Jarden , Vadim E. Levit , Eugen Mandrescu

We describe an infinite family of graphs $G_n$, where $G_n$ has $n$ vertices, independence number at least $n/4$, and no set of less than $\sqrt{n}/2$ vertices intersects all its maximum independent sets. This is motivated by a question of…

Combinatorics · Mathematics 2021-04-06 Noga Alon

A family $\mathscr{I} \subseteq [\omega]^\omega$ such that for all finite $\{X_i\}_{i\in n}\subseteq \mathcal I$ and $A \in \mathscr{I} \setminus \{X_i\}_{i\in n}$, the set $A \setminus \bigcup_{i < n} X_i$ is infinite, is said to be ideal…

Logic · Mathematics 2022-06-29 Jonathan Cancino-Manríquez , Vera Fischer , Corey Bacal Switzer

Counting independent sets in graphs and hypergraphs under a variety of restrictions is a classical question with a long history. It is the subject of the celebrated container method which found numerous spectacular applications over the…

Combinatorics · Mathematics 2025-09-17 Matija Bucić , Maria Chudnovsky , Julien Codsi

We find a strong separation between two natural families of simple rank one theories in Keisler's order: the theories $T_\mathfrak{m}$ reflecting graph sequences, which witness that Keisler's order has the maximum number of classes, and the…

Logic · Mathematics 2023-07-06 M. Malliaris , S. Shelah

Stable basis algebras were introduced by Fountain and Gould and developed in a series of articles. They form a class of universal algebras, extending that of independence algebras. If a stable basis algebra $\mathbb{B}$ of finite rank…

Rings and Algebras · Mathematics 2019-08-28 Wolfram Bentz , Victoria Gould

Hilbert algebras with supremum, i.e., Hilbert algebras where the associated order is a join-semilattice were first considered by A.V. Figallo, G. Ramon and S. Saad in [11], and independently by S. Celani and D. Montangie in [7]. On the…

Logic · Mathematics 2013-08-01 Aldo V. Figallo , Elda Pick , Susana Saad , Martin Figallo

We study general methods to build forking-like notions in the framework of tame abstract elementary classes (AECs) with amalgamation. We show that whenever such classes are categorical in a high-enough cardinal, they admit a good frame: a…

Logic · Mathematics 2016-08-29 Sebastien Vasey

Given a function $f \in \omega^\omega$, a set $A \in [\omega]^\omega$ is free for $f$ if $f[A] \cap A$ is finite. For a class of functions $\Gamma \subseteq \omega^{\omega}$, we define $\mathfrak{ros}_\Gamma$ as the smallest size of a…

Logic · Mathematics 2024-04-11 Arturo Martínez-Celis , Tomasz Żuchowski