Zobrazeno 1 - 10
of 234
pro vyhledávání: '"LIPPARINI, PAOLO"'
Autor:
Lipparini, Paolo
A specialization semilattice is a semilattice together with a coarser preorder satisfying a compatibility condition. We show that the category of specialization semilattices is isomorphic to the category of semilattices with a congruence, hence equiv
Externí odkaz:
http://arxiv.org/abs/2407.08446
Autor:
Lipparini, Paolo
We present a definition for the sum of a sequence of combinatorial games. This sum coincides with the classical sum in the case of a converging sequence of real numbers and with the infinitary natural sum in the case of a sequence of ordinal numbers.
Externí odkaz:
http://arxiv.org/abs/2406.02453
Autor:
Lipparini, Paolo
Publikováno v:
REPORTS ON MATHEMATICAL LOGIC 59 (2024), 79-95
We show that a variety with J\'onsson terms $t_1, \dots, t_{n-1}$ has directed J\'onsson terms $d_1, \dots, d_{n-1}$, for the same value of the indices, solving a problem raised by Kazda et al.. Refined results are obtained for locally finite varieti
Externí odkaz:
http://arxiv.org/abs/2405.02768
Autor:
Lipparini, Paolo
We show that the class of Contact join-semilattices, as introduced by T. Ivanova, is not finitely axiomatizable. On the other hand, a simple finite axiomatization exists for the class of those join semilattices with a weak contact relation which can
Externí odkaz:
http://arxiv.org/abs/2311.12599
Autor:
Lipparini, Paolo
Contact Boolean algebras are one of the main algebraic tools in region-based theory of space. T. Ivanova provided strong motivations for the study of merely semilattices with a contact relation. Another significant motivation for considering an even
Externí odkaz:
http://arxiv.org/abs/2308.04874
Autor:
Lipparini, Paolo
We provide optimal bounds for $\alpha (\beta \circ \gamma \circ \dots )$ in $4$-distributive varieties, as well as some further partial generalizations.
Comment: 9 pages
Comment: 9 pages
Externí odkaz:
http://arxiv.org/abs/2308.04532
Autor:
Freese, Ralph, Lipparini, Paolo
Publikováno v:
Algebra Universalis 85, 11 (2024)
We show that for a large class of varieties of algebras, the equational theory of the congruence lattices of the members is not finitely based.
Comment: 18 pages
Comment: 18 pages
Externí odkaz:
http://arxiv.org/abs/2306.14396
Autor:
Lipparini, Paolo
We devise exact conditions under which a join semilattice with a weak contact relation can be semilattice embedded into a Boolean algebra with an overlap contact relation, equivalently, into a distributive lattice with additive contact relation. A si
Externí odkaz:
http://arxiv.org/abs/2303.06787
Autor:
Lipparini, Paolo
We study contact posets and show that every contact poset can be embedded into a Boolean poset with overlap contact relation. Contact posets and (nonadditive) contact semilattices have the superamalgamation property, Fra\"\i ss\'e limits and model co
Externí odkaz:
http://arxiv.org/abs/2303.06259
Autor:
Lipparini, Paolo
We show that the theories of partially ordered sets, lattices, semilattices, Boolean algebras, Heyting algebras with a further coarser partial order, or a linearization, or an auxiliary relation have the strong amalgamation property, Fra\"\i ss\'e li
Externí odkaz:
http://arxiv.org/abs/2303.06205