English
Related papers

Related papers: Functional reducts of Boolean algebras

200 papers

We study various forms of amalgamation for Boolean algebras with operations. We will also have the occasion to weaken the Boolean structure dealing with MV and BL algebras with operators.

Logic · Mathematics 2013-04-08 Tarek Sayed Ahmed

We describe and classify countable Boolean rings (which may or may not have a multiplicative identity) with finitely many distinguished ideals whose elementary theory is countably categorical. This extends the description by Macintyre and…

Logic · Mathematics 2025-08-13 Andrew Apps

A strongly Fregean algebra is an algebra such that the class of its homomorphic images is Fregean and the variety generated by this algebra is congruence modular. To understand the structure of these algebras we study the prime intervals…

Rings and Algebras · Mathematics 2021-10-18 Katarzyna Słomczyńska

We show (almost) separation between certain important classes of Boolean functions. The technique that we use is to show that the total influence of functions in one class is less than the total influence of functions in the other class. In…

Computational Complexity · Computer Science 2020-10-23 Aniruddha Biswas , Palash Sarkar

Rao and Zhao classified the irreducible integrable modules with finite dimensional weight spaces for the untwisted affine superalgebras which are not $\hat{A}(m,n)$ ($m\ne n$) or $\hat{C}(m)$. Here we treat the latter affine superalgebras…

Representation Theory · Mathematics 2014-04-03 Yuezhu Wu , R. B. Zhang

We calculate zeta functions for certain orders of rank $3$ defined by standard integral table algebras and integral fusion rings that have irrational-valued irreducible characters. The calculations are obtained from explicit calculations of…

Number Theory · Mathematics 2023-11-29 Angelica Babei , Allen Herman

A Boolean function $f$ on $n$ variables is said to be a bent function if the absolute value of all its Walsh coefficients is $2^{n/2}$. Our main result is a new asymptotic lower bound on the number of Boolean bent functions. It is based on…

Combinatorics · Mathematics 2024-10-29 V. N. Potapov , A. A. Taranenko , Yu. V. Tarannikov

We define algebraic structures on graph cohomology and prove that they correspond to algebraic structures on the cohomology of the spaces of imbeddings of S^1 or R into R^n. As a corollary, we deduce the existence of an infinite number of…

Geometric Topology · Mathematics 2007-05-23 Alberto S. Cattaneo , Paolo Cotta-Ramusino , Riccardo Longoni

In this short note we use ideas from systems theory to define a functional calculus for infinitesimal generators of strongly continuous semigroups on a Hilbert space. Among others, we show how this leads to new proofs of (known) results in…

Functional Analysis · Mathematics 2016-09-29 Felix Schwenninger , Hans Zwart

We introduce quantum Boolean algebras which are the analogue of the Weyl algebras for Boolean affine spaces. We study quantum Boolean algebras from the logical and set theoretical viewpoints.

Quantum Algebra · Mathematics 2017-11-10 Rafael Diaz

Consider a_1,a_2,...,a_n, arbitrary elements of R. We characterize those real functions f that decompose into the sum of a_j-periodic functions, i.e., f=f_1+...+f_n with D_{a_j}f(x):=f(x+a_j)-f(x)=0. We show that f has such a decomposition…

Classical Analysis and ODEs · Mathematics 2007-05-25 Bálint Farkas , Viktor Harangi , Tamás Keleti , Szilárd Gy. Révész

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…

Cryptography and Security · Computer Science 2025-01-14 Claude Carlet , Palash Sarkar

We define nodal finite dimensional algebras and describe their structure over an algebraically closed field. For a special class of such algebras (type A) we find a criterion of tameness.

Representation Theory · Mathematics 2015-01-27 Yuriy A. Drozd , Vasyl V. Zembyk

We show that there are uncountably many countable lattices. We give a discussion of which such lattices can be modular or distributive. The method applies to show that certain other classes of structures also have uncountably many…

Logic · Mathematics 2014-06-03 A. Abogatma , J. K. Truss

The set of linear structures of most known balanced Boolean functions is nontrivial. In this paper, some balanced Boolean functions whose set of linear structures is trivial are constructed. We show that any APN function in even dimension…

Cryptography and Security · Computer Science 2019-09-26 Augustine Musukwa , Massimiliano Sala

A compact T-algebra is an initial T-algebra whose inverse is a final T-coalgebra. Functors with this property are said to be algebraically compact. This is a very strong property used in programming semantics which allows one to interpret…

Logic in Computer Science · Computer Science 2020-09-16 Vladimir Zamdzhiev

We study the structure of the category of graded, connected, countable-dimensional, commutative and cocommutative Hopf algebras over a perfect field $k$ of characteristic $p$. Every $p$-torsion object in this category is uniquely a direct…

Algebraic Topology · Mathematics 2024-07-03 Tilman Bauer

We extend a classification of irreducible, almost commutative geometries whose spectral action is dynamically non-degenerate to internal algebras that have four simple summands.

High Energy Physics - Theory · Physics 2009-11-11 Jan-Hendrik Jureit , Thomas Schucker , Christoph Stephan

Abelian groups are classified by the existence of certain additive decompositions of group-valued functions of several variables with arity gap 2.

Combinatorics · Mathematics 2013-03-29 Miguel Couceiro , Erkko Lehtonen , Tamás Waldhauser

Using reduction of spherical functions, we obtain generators of the algebra and the field of invariants for the coadjoint representation of Borel and maximal nilpotent subalgebras of simple Lie algebras.

Representation Theory · Mathematics 2009-11-13 A. N. Panov