This work presents some cardinal inequalities in which appears the closed pseudo-character, ${\psi }_c$, of a space. Using one of them — ${\psi }_c\left(X\right)\le 2^{d\left(X\right)}$ for $T_2$ spaces — we improve, from $T_3$ to $T_2$ spaces, the well-known result that initially $\kappa$-compact $T_3$ spaces are $\lambda$-bounded for all cardinals $\lambda$ such that $2^{\lambda }\le \kappa$. And then, using an idea of A. Dow, we prove that initially $\kappa$-compact $T_2$ spaces are in fact compact for $\kappa =2^{F\left(X\right)}$, $2^{s\left(X\right)}$, $2^{t\left(X\right)}$, $2^{\chi \left(X\right)}$, $2^{{\psi }_c\left(X\right)}$ or $\kappa =max\{{\tau }^{+},{\tau }^{<\tau }\}$, where $\tau >t(p,X)$ for all $p\in X$.

A subset $A$ of a Hausdorff space $X$ is called an $\omega$H-set in $X$ if for every open family $𝒰$ in $X$ such that $A\subset \bigcup 𝒰$ there exists a countable subfamily $𝒱$ of $𝒰$ such that $A\subset \bigcup \{\overline{V}:V\in 𝒱\}$. In this paper we introduce a new cardinal function $t_{s\theta }$ and show that $\left|A\right|\le 2^{t_{s\theta }\left(X\right){\psi }_c\left(X\right)}$ for every $\omega$H-set $A$ of a Hausdorff space $X$.

In 1990, Comfort asked Question 477 in the survey book “Open Problems in Topology”: Is there, for every (not necessarily infinite) cardinal number $\alpha \le 2^{}$, a topological group G such that $G^{\gamma }$ is countably compact for all cardinals γ < α, but $G^{\alpha }$ is not countably compact? Hart and van Mill showed in 1991 that α = 2 answers this question affirmatively under $M{A}_{countable}$. Recently, Tomita showed that every finite cardinal answers Comfort’s question in the affirmative, also from $M{A}_{countable}$. However, the question has...

We say that a cardinal function $\phi$ reflects an infinite cardinal $\kappa$, if given a topological space $X$ with $\phi \left(X\right)\ge \kappa$, there exists $Y\in {\left[X\right]}^{\le \kappa }$ with $\phi \left(Y\right)\ge \kappa$. We investigate some problems, discussed by Hodel and Vaughan in Reflection theorems for cardinal functions, Topology Appl. 100 (2000), 47–66, and Juhász in Cardinal functions and reflection, Topology Atlas Preprint no. 445, 2000, related to the reflection for the cardinal functions character and pseudocharacter. Among other results, we present some new equivalences...

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 $(2^{\kappa },{\left[2^{\kappa }\right]}^{>\kappa },<)$, $(2^{\lambda },{\left[2^{\lambda }\right]}^{>\lambda },<)$ are...

We consider the families of all subspaces of size ω₁ of $2^{\omega ₁}$ (or of a compact zero-dimensional space X of weight ω₁ in general) which are normal, have the Lindelöf property or are closed under limits of convergent ω₁-sequences. Various relations among these families modulo the club filter in ${\left[X\right]}^{\omega ₁}$ are shown to be consistently possible. One of the main tools is dealing with a subspace of the form X ∩ M for an elementary submodel M of size ω₁. Various results with this flavor are obtained. Another...

CONTENTSIntroduction....................................................................................... 5§ 1. Notation and definitions......................................................... 5§ 2. Negative relations.................................................................... 9§ 3. The Ramification Lemma ..................................................... 10§ 4. The main theorem................................................................... 13§ 5. A result for cardinals...

Let λ be an infinite cardinal number. The ordinal number δ(λ) is the least ordinal γ such that if ϕ is any sentence of $L_{\lambda ⁺\omega }$, with a unary predicate D and a binary predicate ≺, and ϕ has a model ℳ with $⟨D^{ℳ},{\prec }^{ℳ}⟩$ a well-ordering of type ≥ γ, then ϕ has a model ℳ ’ where $⟨D^{{ℳ}^{\text{'}}},{\prec }^{{ℳ}^{\text{'}}}⟩$ is non-well-ordered. One of the interesting properties of this number is that the Hanf number of $L_{\lambda ⁺\omega }$ is exactly ${\beth }_{\delta \left(\lambda \right)}$. It was proved in [BK71] that if ℵ₀ < λ < κ$areregularcardinalnumbers,thenthereisaforcingextension,preservingcofinalities,suchthatintheextension$2λ = κ$and\delta \left(\lambda \right)<\lambda ⁺⁺.Weimprovethisresultbyprovingthefollowing:Suppose\aleph ₀<\lambda <\theta \le \kappa arecardinalnumberssuchthat$∙ ${\lambda }^{<\lambda }=\lambda$; ∙ cf(θ) ≥ λ⁺ and ${\mu }^{\lambda }<\theta$ whenever μ < θ; ∙ ${\kappa }^{\lambda }=\kappa$. Then there...

We provide a complete isomorphic classification of the Banach spaces of continuous functions on the compact spaces $2^{}\oplus [0,\alpha ]$, the topological sums of Cantor cubes $2^{}$, with smaller than the first sequential cardinal, and intervals of ordinal numbers [0,α]. In particular, we prove that it is relatively consistent with ZFC that the only isomorphism classes of $C\left(2^{}\oplus [0,\alpha ]\right)$ spaces with ≥ ℵ₀ and α ≥ ω₁ are the trivial ones. This result leads to some elementary questions on large cardinals.

This paper is part II of a study on cardinals that are characterizable by a Scott sentence, continuing previous work of the author. A cardinal κ is characterized by a Scott sentence ${\varphi }_{ℳ}$ if ${\varphi }_{ℳ}$ has a model of size κ, but no model of size κ⁺. The main question in this paper is the following: Are the characterizable cardinals closed under the powerset operation? We prove that if ${\aleph }_{\beta }$ is characterized by a Scott sentence, then $2^{{\aleph }_{\beta +\beta ₁}}$ is (homogeneously) characterized by a Scott sentence, for all 0 <...

Given an uncountable cardinal κ with $\kappa ={\kappa }^{<\kappa }$ and $2^{\kappa }$ regular, we show that there is a forcing that preserves cofinalities less than or equal to $2^{\kappa }$ and forces the existence of a well-order of H(κ⁺) that is definable over ⟨H(κ⁺),∈⟩ by a Σ₁-formula with parameters. This shows that, in contrast to the case "κ = ω", the existence of a locally definable well-order of H(κ⁺) of low complexity is consistent with failures of the GCH at κ. We also show that the forcing mentioned above introduces a Bernstein...

We generalize the notion of a fat subset of a regular cardinal κ to a fat subset of $P_{\kappa }\left(X\right)$, where κ ⊆ X. Suppose μ < κ, ${\mu }^{<\mu }=\mu$, and κ is supercompact. Then there is a generic extension in which κ = μ⁺⁺, and for all regular λ ≥ μ⁺⁺, there are stationarily many N in ${\left[H\left(\lambda \right)\right]}^{\mu ⁺}$ which are internally club but not internally approachable.

Let (α) denote the class of all cardinal sequences of length α associated with compact scattered spaces (or equivalently, superatomic Boolean algebras). Also put ${}_{\lambda }\left(\alpha \right)=s\in \left(\alpha \right):s\left(0\right)=\lambda =min\left[s\right(\beta ):\beta <\alpha ]$. We show that f ∈ (α) iff for some natural number n there are infinite cardinals $\lambda ₀i>\lambda ₁>...>{\lambda }_{n-1}$ and ordinals $\alpha ₀,...,{\alpha }_{n-1}$ such that $\alpha =\alpha ₀+\cdots +{\alpha }_{n-1}$ and $f=f₀⏜f₁⏜...⏜f_{n-1}$ where each $f_i{\in }_{{\lambda }_i}\left({\alpha }_i\right)$. Under GCH we prove that if α < ω₂ then (i) ${}_{\omega }\left(\alpha \right)=s{\in }^{\alpha }\omega ,\omega ₁:s\left(0\right)=\omega$; (ii) if λ > cf(λ) = ω, ${}_{\lambda }\left(\alpha \right)=s{\in }^{\alpha }\lambda ,\lambda ⁺:s\left(0\right)=\lambda ,s^{-1}\lambda is\omega ₁-closedin\alpha$; (iii) if cf(λ) = ω₁, ${}_{\lambda }\left(\alpha \right)=s{\in }^{\alpha }\lambda ,\lambda ⁺:s\left(0\right)=\lambda ,s^{-1}\lambda is\omega -closedandsuccessor-closedin\alpha$; (iv) if cf(λ) > ω₁, ${}_{\lambda }\left(\alpha \right){=}^{\alpha }\lambda$. This yields a complete characterization of the classes (α) for all...

We lower substantially the strength of the assumptions needed for the validity of certain results in category theory and homotopy theory which were known to follow from Vopěnka’s principle. We prove that the necessary large-cardinal hypotheses depend on the complexity of the formulas defining the given classes, in the sense of the Lévy hierarchy. For example, the statement that, for a class $𝒮$ of morphisms in a locally presentable category $𝒞$ of structures, the orthogonal class of objects...