English
Related papers

Related papers: Functional reducts of Boolean algebras

200 papers

There exists a complete atomless Boolean algebra that has no proper atomless complete subalgebra.

Logic · Mathematics 2009-09-25 Thomas Jech , Saharon Shelah

We study a new notion of reduction between structures called enumerable functors related to the recently investigated notion of computable functors. Our main result shows that enumerable functors and effective interpretability with the…

Logic · Mathematics 2017-08-11 Dino Rossegger

We prove that all known examples of weakly o-minimal non-valuational structures have no definable Skolem functions. We show, however, that such structures eliminate imaginaries up to (definable families of) definable cuts. Along the way we…

Logic · Mathematics 2016-07-26 Pantelis E. Eleftheriou , Assaf Hasson , Gil Keren

We show that the big Ramsey degree of the Boolean algebra with 3 atoms within the countable atomless Boolean algebra is infinite.

We give tables of noncompact real forms of maximal reductive subalgebras of complex simple Lie algebras of rank up to 8. These were obtained by computational methods that we briefly describe. We also discuss applications in theoretical…

Rings and Algebras · Mathematics 2020-05-20 Willem A. de Graaf , Alessio Marrani

In this paper, we give a complete classification of extensions of finite irreducible conformal modules over rank two Lie conformal algebras.

Representation Theory · Mathematics 2025-01-06 Lipeng Luo , Yucai Su , Mengjun Wang

We study functional clones, which are sets of non-negative pseudo-Boolean functions (functions $\{0,1\}^k\to\mathbb{R}_{\geq 0}$) closed under (essentially) multiplication, summation and limits. Functional clones naturally form a lattice…

Discrete Mathematics · Computer Science 2018-04-13 Andrei Bulatov , Leslie Ann Goldberg , Mark Jerrum , David Richerby , Stanislav Živný

We classify and construct irreducible completely splittable representations of affine and finite Hecke-Clifford algebras over an algebraically closed field of characteristic not equal to 2.

Representation Theory · Mathematics 2010-12-03 Jinkui Wan

The so called quantized algebras of functions on affine Hecke algebras of type A and the corresponding q-Schur algebras are defined and their irreducible unitarizable representations are classified.

Quantum Algebra · Mathematics 2007-05-23 Do Ngoc Diep

We study a new class of infinite dimensional Lie algebras, which has important applications to the theory of integrable equations. The construction of these algebras is very similar to the one for automorphic functions and this motivates…

Mathematical Physics · Physics 2009-11-10 S. Lombardo , A. V. Mikhailov

In this paper we classify irreducible integrable representations of loop toroidal Lie algebras with finite dimensional weight spaces. In both the cases we classify modules, when a part of center acts non-trivially and trivially on modules.

Representation Theory · Mathematics 2022-11-09 Priyanshu Chakraborty , Punita Batra

We exhibit an adjunction between a category of abstract algebras of partial functions and a category of set quotients. The algebras are those atomic algebras representable as a collection of partial functions closed under relative…

Logic · Mathematics 2022-06-15 Célia Borlido , Brett McLean

A complete classification and character formulas for finite-dimensional irreducible representations of the rational Cherednik algebra of type A is given. Less complete results for other types are obtained. Links to the geometry of affine…

Representation Theory · Mathematics 2007-05-23 Yuri Berest , Pavel Etingof , Victor Ginzburg

We study reductions well suited to compare structures and classes of structures with respect to properties based on enumeration reducibility. We introduce the notion of a positive enumerable functor and study the relationship with…

Logic · Mathematics 2021-02-10 Barbara Csima , Dino Rossegger , Zhi Ying "Daniel" Yu

We introduce a reducibility on classes of structures, essentially a uniform enumeration reducibility. This reducibility is inspired by the Friedman-Stanley paper on using Borel reductions to compare classes of countable structures. This…

Logic · Mathematics 2008-03-25 Wesley Calvert , Desmond Cummins , Sara Miller , Julia F. Knight

Reversible Boolean function is a one-to-one function which maps $n$-bit input to $n$-bit output. Reversible logic synthesis has been widely studied due to its relationship with low-energy computation as well as quantum computation. In this…

Emerging Technologies · Computer Science 2019-05-22 Jiaqing Jiang , Xiaoming Sun , Yuan Sun , Kewen Wu , Zhiyu Xia

We describe some connections between three different fields: combinatorics (umbral calculus), functional analysis (linear functionals and operators) and harmonic analysis (convolutions on group-like structures). Systematic usage of…

funct-an · Mathematics 2008-02-03 Vladimir V. Kisil

It is shown that there exists a complete, atomless, sigma-centered Boolean algebra, which does not contain any regular countable subalgebra if and only if there exist a nowhere dense ultrafilter. Therefore the existence of such algebras is…

Logic · Mathematics 2016-09-07 Aleksander Błaszczyk , Saharon Shelah

We investigate (2,1):1 structures, which consist of a countable set $A$ together with a function $f: A \to A$ such that for every element $x$ in $A$, $f$ maps either exactly one element or exactly two elements of $A$ to $x$. These…

Logic · Mathematics 2017-01-06 Hakim J. Walker

In this article, we introduce a notion of reducibility for partial functions on the natural numbers, which we call subTuring reducibility. One important aspect is that the subTuring degrees correspond to the structure of the realizability…

Logic · Mathematics 2024-11-22 Takayuki Kihara , Keng Meng Ng