Related papers: Cardinalities of topologies with small base
As defined in [1], a Hausdorff space is strongly anti-Urysohn (in short: SAU) if it has at least two non-isolated points and any two infinite} closed subsets of it intersect. Our main result answers the two main questions of [1] by…
We give a simplified proof of a theorem of M. Rabus and S. Shelah claiming that for each cardinal mu there is a c.c.c Boolean algebra with topological density mu.
An inaccessible cardinal $\kappa$ is supercompact when $(\kappa, \lambda)$-ITP holds for all $\lambda\geq \kappa.$ We prove that if there is a model of $\ZFC$ with two supercompact cardinals, then there is a model of \ZFC where…
We obtain bounds on the cardinality of $pcf(\mathfrak{a})$ from instances of weak diamond. Consequently, under mild assumptions there are many singular cardinals of the from $\aleph_\delta$ for which…
For $K$ an abstract elementary class with amalgamation and no maximal models, we show that categoricity in a high-enough cardinal implies structural properties such as the uniqueness of limit models and the existence of good frames. This…
We use Shelah's theory of possible cofinalities in order to solve a problem about ultrafilters. THEOREM. Suppose that $ \lambda $ is a singular cardinal, $ \lambda ' < \lambda $, and the ultrafilter $D$ is $ \kappa $-decomposable for all…
Let $\mathbb{B}$ be a complete Boolean algebra. We show, as an application of a previous result of the author, that if $\lambda$ is an infinite cardinal and $\mathbb{B}$ is weakly $(\lambda^\omega, \omega)$-distributive, then $\mathbb{B}$…
We generalize to the relations $(\lambda, \mu) \stackrel{\kappa}{\Rightarrow} (\lambda', \mu')$ and $\alm (\lambda, \mu) \stackrel{\kappa}{\Rightarrow} \alm (\lambda', \mu')$ some results obtained in Parts II and IV. We also present a…
For any regular cardinal $\kappa$ and ordinal $\eta<\kappa^{++}$ it is consistent that $2^{\kappa}$ is as large as you wish, and every function $f:\eta \to [\kappa,2^{\kappa}]\cap Card$ with $f(\alpha)=\kappa$ for $cf(\alpha)<\kappa$ is the…
We find conditions which ensure that the topological complexity of a closed manifold $M$ with abelian fundamental group is nonmaximal, and see through examples that our conditions are sharp. This generalizes results of Costa and Farber on…
If $V = L$, and $\mu$, $\kappa$ and $\lambda$ are three infinite cardinals with $\mu = {\rm cf} (\mu) < \kappa = {\rm cf}(\kappa) \leq \lambda$, then, as shown in \cite{Heaven}, the $\mu$-club filters on $P_\kappa (\lambda)$ and $P_\kappa…
We prove that every abstract elementary class (a.e.c.) with LST number $\kappa$ and vocabulary $\tau$ of cardinality $\leq \kappa$ can be axiomatized in the logic ${\mathbb L}_{\beth_2(\kappa)^{+++},\kappa^+}(\tau)$. In this logic an a.e.c.…
In this article we proved so-called strong reflection principles corresponding to formal theories Th which has omega-models. An posible generalization of the Lob's theorem is considered.Main results is: (1) let $k$ be an inaccessible…
Let c=2^aleph0 denote the cardinality of the continuum and let a,b,k be infinite cardinal numbers with a<b\leq 2^a. We show that there exist precisely 2^b T0-spaces of size a and weight b up to homeomorphism. Among these non-homeomorphic…
In this paper, we prove that if $\kappa$ is a almost strongly compact cardinal, then any MAEC with L\"owenheim-Skolem number below $\kappa$ is $<\kappa$-d-tame.
We prove the Tate conjecture for divisor classes and the Mumford-Tate conjecture for the cohomology in degree 2 for varieties with $h^{2,0}=1$ over a finitely generated field of characteristic 0, under a mild assumption on their moduli. As…
We show in detail that every compact countable subset of a metric space is homeomorphic to a countable ordinal number, which extends a result given by Mazurkiewicz and Sierpinski for finite-dimensional Euclidean spaces. In order to achieve…
For an infinite cardinal $\kappa$ let $\ell_2(\kappa)$ be the linear hull of the standard othonormal base of the Hilbert space $\ell_2(\kappa)$ of density $\kappa$. We prove that a non-separable convex subset $X$ of density $\kappa$ in a…
For a topological space $X$ its reflection in a class $\mathsf T$ of topological spaces is a pair $(\mathsf T X,i_X)$ consisting of a space $\mathsf T X\in\mathsf T$ and continuous map $i_X:X\to \mathsf T X$ such that for any continuous map…
We prove: Main Theorem: Let $\mathcal{K}$ be an abstract elementary class satisfying the joint embedding and the amalgamation properties with no maximal models of cardinality $\mu$. Let $\mu$ be a cardinal above the the L\"owenheim-Skolem…