A remark about amalgamation of union of theories
We provide conditions under which the union of two first-order theories has the amalgamation property.
Source author record
Paolo Lipparini
Paolo Lipparini appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
ResearcherUnclaimed source record
Catalog footprint
What is connected
30works
3topics
3close collaborators
Research graph
See the researcher in context
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
Building this map preview
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
30 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
preprint2015arXiv
A note on local properties in products
We give conditions under which a product of topological spaces satisfies some local property. The conditions are necessary and sufficient when the corresponding global property is preserved under finite products. Further examples include local sequential compactness, local Lindelöfness, the local Menger property.
0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv
Generalized Frolík classes
The class $\mathfrak C $ relative to countably compact topological spaces and the class $\mathfrak P$ relative to pseudocompact spaces introduced by Z. Frolík are naturally generalized relative to every topological property. We provide a characterization of such generalized Frolík classes in the broad case of properties defined in terms of filter convergence. If a class of spaces can be defined in terms of filter convergence, then the same is true for its Frolík class.
0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv
Ultrafilter convergence in ordered topological spaces
We characterize ultrafilter convergence and ultrafilter compactness in linearly ordered and generalized ordered topological spaces. In such spaces, and for every ultrafilter $D$, the notions of $D$-compactness and of $D$-pseudocompactness are equivalent. Any product of initially $λ$-compact generalized ordered topological spaces is still initially $λ$-compact. On the other hand, preservation under products of certain compactness properties are independent from the usual axioms for set theory.
0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv
Weak and local versions of measurability
Local versions of measurability have been around for a long time. Roughly, one splits the notion of $μ$-completeness into pieces, and asks for a uniform ultrafilter over $μ$ satisfying just some piece of $μ$-completeness. Analogue local versions of weak compactness are harder to come by, since weak compactness cannot be defined by using a single ultrafilter. We deal with the problem by restricting just to a subset $P$ of all the partitions of $μ$ into $<μ$ classes and asking for some ultrafilter $D$ over $μ$ such that no partition in $P$ disproves the $μ$-completeness of $D$. By making $P$ vary in appropriate classes, one gets both measurability and weak compactness, as well as possible intermediate notions of "weak measurability". We systematize the above procedures and combine them to obtain variants of measurability which are at the same time weaker and local. Of particular interest is the fact that the notions thus obtained admit equivalent formulations through topological, model theoretical, combinatorial and Boolean algebraic conditions. We also hint a connection with Kat{ě}tov order on filters.
0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv
Compactness of $ω^λ$ for $λ$ singular
We characterize the compactness properties of the product of λ copies of the space ω with the discrete topology, dealing in particular with the case λ singular, using regular and uniform ultrafilters, infinitary languages and nonstandard elements. We also deal with products of uncountable regular cardinals with the order topology.
0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv
Compactness of powers of ω
We characterize exactly the compactness properties of the product of κ copies of the space ω with the discrete topology. The characterization involves uniform ultrafilters, infinitary languages, and the existence of nonstandard elements in elementary estensions. We also have results involving products of possibly uncountable regular cardinals.
0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv
Initial λ-compactness in linearly ordered spaces
We show that a linearly ordered topological space is initially λ-compact if and only if it is λ-bounded, that is, every set of cardinality $\leq λ$ has compact closure. As a consequence, every product of initially λ-compact linearly ordered topological spaces is initially λ-compact.
0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv
On a theorem by Juhász and Szentmiklóssy
We extend a theorem by Juhász and Szentmiklóssy to notions related to pseudocompactness. We also allow the case when one of the cardinals under consideration is singular. We give an application to the study of decomposable ultrafilters: if κ is singular, D is a uniform ultrafilter over κ^+, and D' is a uniform ultrafilter over cf κ, then D' \times D is κ-decomposable.
0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv
Topological spaces compact with respect to a set of filters
If $\mathcal P$ is a family of filters over some set $I$, a topological space $X$ is \emph{sequencewise $\mathcal P$-\brfrt compact} if, for every $I$-indexed sequence of elements of $X$, there is $F \in \mathcal P$ such that the sequence has an $F$-limit point. Countable compactness, sequential compactness, initial $κ$-compactness, $[ λ,μ]$-compactness, the Menger and Rothberger properties can all be expressed in terms of sequencewise $\mathcal P$-compactness, for appropriate choices of $\mathcal P$. We show that sequencewise $\mathcal P$-compactness is preserved under taking products if and only if there is a filter $F \in \mathcal P$ such that sequencewise $\mathcal P$-compactness is equivalent to $F$-compactness. If this is the case, and there exists a sequencewise $\mathcal P$-compact $T_1$ topological space with more than one point, then $F$ is necessarily an ultrafilter. The particular cases of sequential compactness and of $[ λ,μ]$-compactness are analyzed in detail.
0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv
A characterization of the Menger property by means of ultrafilter convergence
We characterize various Menger/Rothberger related properties by means of ultrafilter convergence, and discuss their behavior with respect to products.
0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv
Productivity of $[μ, λ]$-compactness
We show that if $μ\leq \cf λ$ and $λ$ is a strong limit singular cardinal, then $[μ, λ]$-compactness is productive if and only if either $μ= ω$, or $μ$ is $λ$-strongly compact.
0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv
Products of sequentially pseudocompact spaces
We show that the product of any number of sequentially pseudocompact topological spaces is still sequentially pseudocompact. The definition of sequential pseudocompactness can be given in (at least) two ways: we show their equivalence. Some of the results of the present note already appeared in A. Dow, J. R. Porter, R. M. Stephenson, R. G. Woods, Spaces whose pseudocompact subspaces are closed subsets, Appl. Gen. Topol. 5 (2004), 243-264.
0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv
Representable tolerances in varieties
We discuss two possible ways of representing tolerances: first, as a homomorphic image of some congruence; second, as the relational composition of some compatible relation with its converse. The second way is independent from the variety under consideration, while the first way is variety-dependent. The relationships between these two kinds of representations are clarified. As an application, we show that any tolerance on some lattice L is the image of some congruence on a subalgebra of L $\times$ L. This is related to recent results by G. Czédli and E. W. Kiss.
0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv
Tolerances as images of congruences in varieties defined by linear identities
An identity s=t is linear if each variable occurs at most once in each of the terms s and t. Let T be a tolerance relation of an algebra A in a variety defined by a set of linear identities. We prove that there exist an algebra B in the same variety and a congruence Theta of B such that a homomorphism from B onto A maps Theta onto T.
0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv
A product theorem for a general accumulation property
We characterize the situations in which certain accumulation properties of topological spaces are preserved under taking products.
0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv
For Hausdorff spaces, $H$-closed = $D$-pseudocompact for all ultrafilters $D$
We prove that, for an arbitrary topological space $X$, the following two conditions are equivalent: (a) Every open cover of $X$ has a finite subset with dense union (b) $X$ is $D$-pseudocompact, for every ultrafilter $D$. Locally, our result asserts that if $X$ is weakly initially $λ$-compact, and $2^ μ\leq λ$, then $X$ is $D$-\brfrt pseudocompact, for every ultrafilter $D$ over any set of cardinality $ \leq μ$. As a consequence, if $2^ μ\leq λ$, then the product of any family of weakly initially $λ$-compact spaces is weakly initially $μ$-compact.
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
preprint2010arXiv
Every weakly initially m-compact topological space is mpcap
The statement in the title solves a problem raised by T. Retta. We also present a variation of the result in terms of $[ μ,κ]$-compactness.
0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv
More generalizations of pseudocompactness
We introduce a covering notion depending on two cardinals, which we call $\mathcal O $-$ [ μ, λ]$-compactness, and which encompasses both pseudocompactness and many other generalizations of pseudocompactness. For Tychonoff spaces, pseudocompactness turns out to be equivalent to $\mathcal O $-$ [ ω, ω ]$-compactness. We provide several characterizations of $\mathcal O $-$ [ μ, λ]$-compactness, and we discuss its connection with $D$-pseudocompactness, for $D$ an ultrafilter. We analyze the behaviour of the above notions with respect to products. Finally, we show that our results hold in a more general framework, in which compactness properties are defined relative to an arbitrary family of subsets of some topological space $X$.
0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv
Some compactness properties related to pseudocompactness and ultrafilter convergence
We discuss some notions of compactness and convergence relative to a specified family F of subsets of some topological space X. The two most interesting particular cases of our construction appear to be the following ones. (1) The case in which F is the family of all singletons of X, in which case we get back the more usual notions. (2) The case in which F is the family of all nonempty open subsets of X, in which case we get notions related to pseudocompactness. A large part of the results in this note are known in particular case (1); the results are, in general, new in case (2). As an example, we characterize those spaces which are D-pseudocompact, for some ultrafilter D uniform over $λ$.
0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv
Some more Problems about Orderings of Ultrafilters
We discuss the connection between various orders on the class of all the ultrafilters and certain compactness properties of abstract logics and of topological spaces. We present a model theoretical characterization of Comfort order. We introduce a new order motivated by considerations in abstract model theory. For each of the above orders, we show that if $E$ is a $(λ, λ)$-regular ultrafilter, and $D$ is not $(λ, λ)$-regular, then $E \not \leq D$. Many problems are stated.
0 citations0 reviewsNo code linkedOpen access
preprint2008arXiv
More Results on Regular Ultrafilters in ZFC
We prove, in ZFC alone, some new results on regularity and decomposability of ultrafilters. We also list some problems, and furnish applications to topological spaces and to extended logics.
0 citations0 reviewsNo code linkedOpen access