Related papers: Weight, net weight, and elementary submodels

We investigate whether an arbitrary base for a dense-in-itself topological space can be partitioned into two bases. We prove that every base for a T_3 Lindel\"of topology can be partitioned into two bases while there exists a consistent…

In this paper I will show that it is relatively consistent with the usual axioms of mathematics (ZFC) together with a strong form of the axiom of infinity (the existence of a supercompact cardinal) that the class of uncountable linear…

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…

Answering questions of A. Avil\'es, F. Cabello S\'anchez, J. Castillo, M. Gonz\'alez and Y. Moreno we show that the following statements are independent of the usual axioms ZFC with arbitrarily large continuum: for every (some)…

We prove that a separable Hausdorff topological space $X$ containing a cocountable subset homeomorphic to $[0,\omega_1]$ admits no separately continuous mean operation and no diagonally continuous $n$-mean for $n\ge 2$.

In this paper, the class of all linearly ordered topological spaces (LOTS) quasi-ordered by the embeddability relation is investigated. In ZFC it is proved that for countable LOTS this quasi-order has both a maximal (universal) element and…

We show that if $Y$ is a dense subspace of a Tychonoff space $X$, then $w(X)\leq nw(Y)^{Nag(Y)}$, where $Nag(Y)$ is the Nagami number of $Y$. In particular, if $Y$ is a Lindel\"of $\Sigma$-space, then $w(X)\leq nw(Y)^\omega\leq…

Much has been written about expansions of real numbers in noninteger bases. Particularly, for a finite alphabet $\{0,1,\dots,\alpha\}$ and a real number (base) $1<\beta<\alpha+1$, the so-called {\em univoque set} of numbers which have a…

We answer a question of Moore by building a forcing extension satisfying measuring together with CH. The construction works over any model of ZFC and can be described as a forcing iteration with countable structures as side conditions and…

We give a consistent example of a zero-dimensional separable metrizable space $Z$ such that every homeomorphism of $Z^\omega$ acts like a permutation of the coordinates almost everywhere. Furthermore, this permutation varies continuously.…

We show that assuming modest large cardinals, there is a definable class of ordinals, closed and unbounded beneath every uncountable cardinal, so that for any closed and unbounded subclasses $P, Q$, $\langle L[P],\in ,P \rangle$ and…

The uncountability of $\mathbb{R}$ is one of its most basic properties, known far outside of mathematics. Cantor's 1874 proof of the uncountability of $\mathbb{R}$ even appears in the very first paper on set theory, i.e. a historical…

We investigate some versions of amoeba for tree-forcings in the generalized Cantor and Baire spaces. This answers [10, Question 3.20] and generalizes a line of research that in the standard case has been studied in [11], [13], and [7].…

We indicate a way of distinguishing between structures, for which, two structures are said to be separable.Being separable implies being non-isomorphic. We show that for any first order theory $T$ in a countable language, if it has an…

This dissertation is a contribution to the project of second-order set theory, which has seen a revival in recent years. The approach is to understand second-order set theory by studying the structure of models of second-order set theories.…

According to the math tea argument, there must be real numbers that we cannot describe or define, because there are uncountably many real numbers, but only countably many definitions. And yet, the existence of pointwise-definable models of…

A space $X$ is od-Menger if it satisfies $\mathsf{U_{fin}}(\Delta_X, \mathcal{O}_X)$, where $\mathcal{O}_X,\Delta_X$ are the collection of covers of $X$ by respectively open subsets and open dense subsets. We show that under CH, there is a…

In this note we are concerned with the validity of an uncountable analogue of a combinatorial lemma due to Vlastimil Pt\'ak. We show that the validity of the result for $\omega_1$ can not be decided in ZFC alone. We also provide a…

We make use of a finite support product of $\omega_1$ clones of the Jensen minimal $\varPi^1_2$ singleton forcing to obtain a model of ZFC in which every non-empty lightface analytically definable set of reals contains a lightface…

We use weighted polynomial approximation to prove the existence of a compact set K with non-empty interior and a function f is dense in the space A(K) of all continuous functions on K that are holomorphic in the interior of K, endowed with…