Some cardinal characteristics of ordered sets
For ordered (= partially ordered) sets we introduce certain cardinal characteristics of them (some of those are known). We show that these characteristics—with one exception—coincide.
For ordered (= partially ordered) sets we introduce certain cardinal characteristics of them (some of those are known). We show that these characteristics—with one exception—coincide.
In Dually discrete spaces, Topology Appl. 155 (2008), 1420–1425, Alas et. al. proved that ordinals are hereditarily dually discrete and asked whether the product of two ordinals has the same property. In Products of certain dually discrete spaces, Topology Appl. 156 (2009), 2832–2837, Peng proved a number of partial results and left open the question of whether the product of two stationary subsets of is dually discrete. We answer the first question affirmatively and as a consequence also give...
In [The sup = max problem for the extent of generalized metric spaces, Comment. Math. Univ. Carolin. The special issue devoted to Čech 54 (2013), no. 2, 245–257], the author and Yajima discussed the sup = max problem for the extent and the Lindelöf degree of generalized metric spaces: (strict) -spaces, (strong) -spaces and semi-stratifiable spaces. In this paper, the sup = max problem for the Lindelöf degree of spaces having -diagonals and for the extent of spaces having point-countable bases...
It looks not useful to study the sup = max problem for extent, because there are simple examples refuting the condition. On the other hand, the sup = max problem for Lindelöf degree does not occur at a glance, because Lindelöf degree is usually defined by not supremum but minimum. Nevertheless, in this paper, we discuss the sup = max problem for the extent of generalized metric spaces by combining the sup = max problem for the Lindelöf degree of these spaces.
We show that uncountable cardinals are indistinguishable by sentences of the monadic second-order language of order of the form (∀X)ϕ(X) and (∃X)ϕ(X), for ϕ positive in X and containing no set-quantifiers, when the set variables range over large (= cofinal) subsets of the cardinals. This strengthens the result of Doner-Mostowski-Tarski [3] that (κ,∈), (λ,∈) are elementarily equivalent when κ, λ are uncountable. It follows that we can consistently postulate that the structures , are indistinguishable...
In §1, we observe that a weakly normal ideal has a saturation property; we also show that the existence of certain precipitous ideals is sufficient for the existence of weakly normal ideals. In §2, generalizing Solovay’s theorem concerning strongly compact cardinals, we show that is decided if carries a weakly normal ideal and λ is regular or cf λ ≤ κ. This is applied to solving the singular cardinal hypothesis.