相关论文: Free Boolean algebras over unions of two well orde…
In answer to a question on Mathoverflow we show that the Boolean algebra $\mathcal{P}(\omega)/\mathit{fin}$ contains a family $\{\mathcal{B}_X:X\subseteq\mathfrak{c}\}$ of subalgebras with the property that $X\subseteq Y$ implies…
Our main goal is to develop a representation for finite distributive nearlattices through certain ordered structures. This representation generalizes the well-known representation given by Birkhoff for finite distributive lattices through…
Profinite semigroups are a generalization of finite semigroups that come about naturally when one is interested in considering free structures with respect to classes of finite semigroups. They also appear naturally through dualization of…
We introduce a very natural topology on the set of total orderings of monomials of any algebra having a countable basis over a field. This topological space and some notable subspaces are compact. This topological framework allows us to…
This paper summarizes some known results about Appell polynomials and investigates their various analogs. The primary of these are the free Appell polynomials. In the multivariate case, they can be considered as natural analogs of the…
The set-theoretic large cardinal axiom known as I3 posits the existence of a non-trivial rank-to-rank embedding from an initial segment of the universe of sets into itself. Laver showed that the algebra generated by a single such embedding…
The notion of overlap algebra introduced by G. Sambin provides a constructive version of complete Boolean algebra. Here we first show some properties concerning overlap algebras: we prove that the notion of overlap morphism corresponds…
The notion of {\it free} generalized vertex algebras is introduced. It is equivalent to the notion of {\it generalized principal subspaces} associated with lattices which are not necessarily integral. Combinatorial bases and the characters…
We introduce the notion of envelope of a topological algebra (in particular, an arbitrary associative algebra) with respect to a class of Banach algebras. In the case of the class of real Banach algebras of polynomial growth, i.e.,…
P-algebras are a non-commutative, non-associative generalization of Boolean algebras that are for quantum logic what Boolean algebras are for classical logic. P-algebras have type <X, 0, ', .> where 0 is a constant, ' is unary and . is…
Directed spaces are natural topological extensions of dcpos in domain theory and form a cartesian closed category. In order to model nondeterministic semantics, the power structures over directed spaces were defined through the form of free…
We systematically develop analogs of basic concepts from classical descriptive set theory in the context of pointless topology. Our starting point is to take the elements of the free complete Boolean algebra generated by the frame…
Assume that there is no quasi-measurable cardinal smaller than $2^\omega$. ($\kappa$ is quasi measurable if there exists $\kappa $-additive ideal $\ci $ of subsets of $\kappa $ such that the Boolean algebra $P(\kappa)/\ci$ satisfies c.c.c.)…
Let $\kappa$ be an infinite regular cardinal. We define a topological space $X$ to be $T_{\kappa-Borel}$-space (resp. a $T_{\kappa-BP}$-space) if for every $x\in X$ the singleton $\{x\}$ belongs to the smallest $\kappa$-additive algebra of…
There is a polymodal provability logic $GLP$. We consider generalizations of this logic: the logics $GLP_{\alpha}$, where $\alpha$ ranges over linear ordered sets and play the role of the set of indexes of modalities. We consider the…
We introduce the notion of a non--linear Lie conformal superalgebra and prove a PBW theorem for its universal enveloping vertex algebra. We also show that conversely any graded freely generated vertex algebra is the universal enveloping…
The paper describes the algebraic structure of the graded algebra of differentially homogeneous polynomials of fixed finite order. We show that it is a finitely generated algebra, and we exhibit a minimal set of generators. Along the way,…
We consider absolutely free nonassociative algebras and, more generally, absolutely free algebras with (maybe infinitely) many multilinear operations. Such algebras are described in terms of labeled reduced planar rooted trees. This allows…
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…
We investigate quasivarieties of (distributive) p-algebras. We sharpen some previous results, give a better picture of the subquasivariety lattice, and prove that quasivarieties generated by free p-algebras belong to a rather small…