Related papers: Countably compact group topologies on arbitrarily …
We study connections between definability in generalized descriptive set theory and large cardinals, under ZFC. We show that if $\kappa$ is a limit of measurables then there is no wellorder of a subset of $P(\kappa)$ of length…
It is proved to be consistent relative to a measurable cardinal that there is a uniform ultrafilter on the real numbers which is generated by fewer than the maximum possible number of sets. It is also shown to be consistent relative to a…
All ultrafilters under consideration here are non-principal ultrafilters on the set omega of natural numbers. We are concerned with the possible cofinalities of ultrapowers of omega with respect to such ultrafilters. We show that no…
We use $\diamondsuit$ to construct, for every $\alpha\leq\omega_1$ a sequential countably compact topological group of sequential order $\alpha$. This establishes the independence of the existence of sequential countably compact non…
We deal with the problem of existence of uncountable co-Hopfian abelian groups and (absolute) Hopfian abelian groups. Firstly, we prove that there are no co-Hopfian reduced abelian groups $G$ of size $< \mathfrak{p}$ with infinite…
We prove that every countable subgroup of a compact metrizable abelian group has a characterizing set. As an application, we answer several questions on maximally almost periodic (MAP) groups and give a characterization of the class of…
Assuming the existence of a supercompact cardinal, we construct a model where, for some uncountable regular cardinal $\kappa$, there are no $\Sigma^1_1(\kappa)-\kappa-$mad families.
Assume that there is no quasi-measurable cardinal smaller than $2^\omega$. ($\kappa$ is quasi measurable if there exists $\kappa $-additive ideal $\ci $ of subsets of $\kappa $ such that the Boolean algebra $P(\kappa)/\ci$ satisfies c.c.c.)…
We investigate whether the ultrafilter number function $\kappa \mapsto \mathfrak{u}(\kappa)$ on the cardinals is monotone, that is, whether $\mathfrak{u}(\lambda) \le \mathfrak{u}(\kappa)$ holds for all cardinals $\lambda < \kappa$ or not.…
We show that in the $\mathbb{P}_{\max}$ extension of a certain Chang-type model of determinacy, if $\kappa\in\{\omega_1, \omega_2, \omega_3\}$, then the restriction of the club filter on $\kappa\cap\mathrm{Cof}(\omega)$ to HOD is an…
In \cite{Chaber}, Chaber has proved that countably compact spaces with a quasi $G_{\delta }$-diagonal are compact. We prove that initially $\kappa $% -compact spaces with a quasi $G_{\kappa }$-diagonal are compact, for any infinite cardinal…
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…
In this paper we prove that if $\kappa$ is a singular cardinal with uncountable cofinality, then every power of a given topological space with precaliber $\kappa$ has precaliber $\kappa$ as well. Furthermore, if $\{X_\alpha :…
In \cite{MbPe}, Mbombo and Pestov prove that the group of isometries of the generalized Urysohn space of density $\kappa$, for uncountable $\kappa$ such that $\kappa^{<\kappa}=\kappa$, is not a universal topological group of weight…
A space X is selectively sequentially pseudocompact if for every sequence (U_n) of non-empty open subsets of X, one can choose a point x_n in each U_n in such a way that the sequence (x_n) has a convergent subsequence. Let G be a group from…
We investigate the structure of the lattice of clones on an infinite set X. We first observe that ultrafilters naturally induce clones; this yields a simple proof of Rosenberg's theorem: "there are 2^2^kappa many maximal (=precomplete)…
We prove that for lambda = beta_omega or just lambda strong limit singular of cofinality aleph_0, if there is a universal member in the class K^lf_lambda of locally finite groups of cardinality lambda, then there is a canonical one…
The following pcf results are proved: 1. Assume that kappa > aleph_0 is a weakly compact cardinal. Let mu > 2^kappa be a singular cardinal of cofinality kappa. Then for every regular lambda < pp^+_{Gamma(kappa)} (mu) there is an increasing…
We show that the definition of caliber given by Engelking in R. Engelking, "General topology", Sigma series in pure mathematics, Heldermann, vol. 6, 1989, which we will call caliber*, differs from the traditional notion of this concept in…
It is proved that any countable topological group in which the filter of neighborhoods of the identity element is not rapid contains a discrete set with precisely one nonisolated point. This gives a negative answer to Protasov's question on…