A remark about amalgamation of union of theories
We provide conditions under which the union of two first-order theories has the amalgamation property.
Researcher profile
Paolo Lipparini
Paolo Lipparini contributes to research discovery and scholarly infrastructure.
ResearcherAffiliation not importedOpen to collaborate
Trust snapshot
Quick read
Trust 21 - EmergingVerification L1Unclaimed author
9works
0followers
3topics
0close collaborators
Actions
Decide how to stay connected
Identity and collaboration
How to connect with this researcher
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Open a focused conversation when the fit is right
Claim this author entity first to unlock direct invitations.
Research graph
See the researcher in context
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
Building this graph slice
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
9 published item(s)
preprint2022arXiv
A very general covering property
We introduce a general notion of covering property, of which many classical definitions are particular instances. Notions of closure under various sorts of convergence, or, more generally, under taking kinds of accumulation points, are shown to be equivalent to a covering property in the sense considered here (Theorem 3.9). Conversely, every covering property is equivalent to the existence of appropriate kinds of accumulation points for arbitrary sequences on some fixed index set (Corollary 3.5). We discuss corresponding notions related to sequential compactness, and to pseudocompactness, or, more generally, properties connected with the existence of limit points of sequences of subsets. In spite of the great generality of our treatment, many results here appear to be new even in very special cases, such as $D$-compactness and $D$-pseudocompactness, for $D$ an ultrafilter, and weak (quasi) $M$-(pseudo)-compactness, for $M$ a set of ultrafilters, as well as for $[β, α]$-compactness, with $β$ and $α$ ordinals.
0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv
Non-generators in complete lattices and semilattices
As well-known, in a finitary algebraic structure the set $Γ$ of all the non-generators is the intersection of all the maximal proper substructures. In particular, $Γ$ is a substructure. We show that the corresponding statements hold for complete semilattices but fail for complete lattices, when as the notion of substructure we take complete subsemilattices and complete sublattices, respectively.
0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv
Universal extensions of specialization semilattices
A specialization semilattice is a join semilattice together with a coarser preorder $ \sqsubseteq $ satisfying an appropriate compatibility condition. If $X$ is a topological space, then $(\mathcal P(X), \cup, \sqsubseteq )$ is a specialization semilattice, where $ x \sqsubseteq y$ if $x \subseteq Ky$, for $x,y \subseteq X$, and $K$ is closure. Specialization semilattices and posets appear as auxiliary structures in many disparate scientific fields, even unrelated to topology. For short, the notion is useful since it allows us to consider a relation of "being generated by" with no need to require the existence of an actual "closure" or "hull", which might be problematic in certain contexts. In a former work we showed that every specialization semilattice can be embedded into the specialization semilattice associated to a topological space as above. Here we describe the universal embedding of a specialization semilattice into an additive closure semilattice. We notice that a categorical argument guarantees the existence of universal embeddings in many parallel situations.
0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv
Mitschke's Theorem is sharp
A. Mitschke showed that a variety with an $m$-ary near-unanimity term has Jónsson terms $t_0, \dots, t _{2m-4} $ witnessing congruence distributivity. We show that Mitschke's result is sharp. We also evaluate the best possible number of Day terms witnessing congruence modularity. More generally, we characterize exactly the best bounds for many congruence identities satisfied by varieties with an $m$-ary near-unanimity term.
0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv
On the number of terms witnessing congruence modularity
We study the validity of congruence inclusions of the form $ α( β\circ αγ\circ β\circ \dotsc \circ αγ\circ β) \subseteq αβ\circ αγ\circ αβ\circ \dots$ in congruence modular varieties, with an appropriate number of terms on each side and where juxtaposition denotes intersection. Two different methods using Day and Gumm terms are merged in order to obtain the so far best bounds. We introduce and study other related identities, possibly involving tolerances and admissible relations. We also slightly improve a result by A. Day, to the effect that if $n$ is even, then every variety with $n+2$ Jónsson terms has $2n+1$ Day terms.
0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv
The distributivity spectrum of Baker's variety
For every $n$, we evaluate the smallest $k$ such that the congruence inclusion $α(β\circ_n γ) \subseteq αβ\circ_{k} αγ$ holds in a variety of reducts of lattices introduced by K. Baker. We also study varieties with a near-unanimity term and discuss identities dealing with reflexive and admissible relations.
0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv
The Gumm level equals the alvin level in congruence distributive varieties
Congruence modular and congruence distributive varieties can be characterized by the existence of sequences of Gumm and Jónsson terms, respectively. Such sequences have variable lengths, in general. It is immediate from the above paragraph that there is a variety with Gumm terms but without Jónsson terms. We prove the quite unexpected result that, on the other hand, if some variety has both kinds of terms, then the minimal lengths of the sequences differ at most by $1$. It follows that every $r$-modular congruence distributive variety is $r^2-r+2$-distributive.
0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv
Ordinal Compactness
We introduce a new covering property, defined in terms of order types of sequences of open sets, rather than in terms of cardinalities of families. The most general form of this compactness notion depends on two ordinal parameters. In the particular case when the parameters are cardinal numbers, we get back a classical notion. Generalized to ordinal numbers, this notion turns out to behave in a much more varied way. We present many examples of spaces satisfying the very same cardinal compactness properties, but with a broad range of distinct behaviors, with respect to ordinal compactness. A much more refined theory is obtained for $T_1$ spaces, in comparison with arbitrary topological spaces. The notion of ordinal compactness becomes partly trivial for spaces of small cardinality.
0 citations0 reviewsNo code linkedOpen access