Search results for "Mathematics::Logic"
showing 10 items of 64 documents
On monadic quantale algebras: basic properties and representation theorems
2010
Motivated by the concept of quantifier (in the sense of P. Halmos) on different algebraic structures (Boolean algebras, Heyting algebras, MV-algebras, orthomodular lattices, bounded distributive lattices) and the resulting notion of monadic algebra, the paper introduces the concept of a monadic quantale algebra, considers its properties and provides several representation theorems for the new structures.
Free sequences and the tightness of pseudoradial spaces
2019
Let F(X) be the supremum of cardinalities of free sequences in X. We prove that the radial character of every Lindelof Hausdorff almost radial space X and the set-tightness of every Lindelof Hausdorff space are always bounded above by F(X). We then improve a result of Dow, Juhasz, Soukup, Szentmiklossy and Weiss by proving that if X is a Lindelof Hausdorff space, and $$X_\delta $$ denotes the $$G_\delta $$ topology on X then $$t(X_\delta ) \le 2^{t(X)}$$ . Finally, we exploit this to prove that if X is a Lindelof Hausdorff pseudoradial space then $$F(X_\delta ) \le 2^{F(X)}$$ .
Relative principal congruences in congruence-modular quasivarieties
1998
The problem of definability of relative principal congruences in relatively congruence modular (RCM) quasivarieties is investigated. The RCM quasivarieties are characterized in terms of parameterized families of finite sets of pairs of terms which define relative principal congruences.
Lawvere–Tierney sheaves in Algebraic Set Theory
2009
We present a solution to the problem of defining a counterpart in Algebraic Set Theory of the construction of internal sheaves in Topos Theory. Our approach is general in that we consider sheaves as determined by Lawvere-Tierney coverages, rather than by Grothendieck coverages, and assume only a weakening of the axioms for small maps originally introduced by Joyal and Moerdijk, thus subsuming the existing topos-theoretic results.
Extended Natural Numbers and Counters
2020
Summary This article introduces extended natural numbers, i.e. the set ℕ ∪ {+∞}, in Mizar [4], [3] and formalizes a way to list a cardinal numbers of cardinals. Both concepts have applications in graph theory.
Cardinal invariants of cellular Lindelof spaces
2018
A space X is said to be cellular-Lindelof if for every cellular family $$\mathcal {U}$$ there is a Lindelof subspace L of X which meets every element of $$\mathcal {U}$$ . Cellular-Lindelof spaces generalize both Lindelof spaces and spaces with the countable chain condition. Solving questions of Xuan and Song, we prove that every cellular-Lindelof monotonically normal space is Lindelof and that every cellular-Lindelof space with a regular $$G_\delta $$ -diagonal has cardinality at most $$2^\mathfrak {c}$$ . We also prove that every normal cellular-Lindelof first-countable space has cardinality at most continuum under $$2^{<\mathfrak {c}}=\mathfrak {c}$$ and that every normal cellular-Lindel…
The Kuratowski convergence and connected components
2012
International audience; We investigate the Kuratowski convergence of the connected components of the sections of a definable set applying the result obtained to semialgebraic approximation of subanalytic sets. We are led to some considerations concerning the connectedness of the limit set in general. We discuss also the behaviour of the dimension of converging sections and prove some general facts about the Kuratowski convergence in tame geometry.
A note on rank 2 diagonals
2020
<p>We solve two questions regarding spaces with a (G<sub>δ</sub>)-diagonal of rank 2. One is a question of Basile, Bella and Ridderbos about weakly Lindelöf spaces with a G<sub>δ</sub>-diagonal of rank 2 and the other is a question of Arhangel’skii and Bella asking whether every space with a diagonal of rank 2 and cellularity continuum has cardinality at most continuum.</p>
On the cardinality of almost discretely Lindelof spaces
2016
A space is said to be almost discretely Lindelof if every discrete subset can be covered by a Lindelof subspace. Juhasz et al. (Weakly linearly Lindelof monotonically normal spaces are Lindelof, preprint, arXiv:1610.04506 ) asked whether every almost discretely Lindelof first-countable Hausdorff space has cardinality at most continuum. We prove that this is the case under $$2^{<{\mathfrak {c}}}={\mathfrak {c}}$$ (which is a consequence of Martin’s Axiom, for example) and for Urysohn spaces in ZFC, thus improving a result by Juhasz et al. (First-countable and almost discretely Lindelof $$T_3$$ spaces have cardinality at most continuum, preprint, arXiv:1612.06651 ). We conclude with a few rel…
Periodic Groups Covered by Transitive Subgroups of Finitary Permutations or by Irreducible Subgroups of Finitary Transformations
1999
Let X be either the class of all transitive groups of finitary permutations, or the class of all periodic irreducible finitary linear groups. We show that almost primitive X-groups are countably recognizable, while totally imprimitive X-groups are in general not countably recognizable. In addition we derive a structure theorem for groups all of whose countable subsets are contained in totally imprimitive X-subgroups. It turns out that totally imprimitive p-groups in the class X are countably recognizable.