English
Related papers

Related papers: Finite Sets with Fake Observable Cardinality

200 papers

We prove that assuming suitable cardinal arithmetic, if B is a Boolean algebra every homomorphic image of which is isomorphic to a factor, then B has locally small density. We also prove that for an (infinite) Boolean algebra B, the number…

Logic · Mathematics 2008-02-03 Saharon Shelah

For infinite cardinals $\kappa,\lambda$ let $C(\kappa,\lambda)$ denote the class of all compact Hausdorff spaces of weight $\kappa$ and size $\lambda$. So $C(\kappa,\lambda)=\emptyset$ if $\kappa>\lambda$ or $\lambda>2^\kappa$. If F is a…

General Topology · Mathematics 2025-12-17 Gerald Kuba

We prove that, under suitable assumptions on a category C, the existence of supercompact cardinals implies that every absolute epireflective class of objects of C is a small-orthogonality class. More precisely, if L is a localization…

Category Theory · Mathematics 2007-05-23 Joan Bagaria , Carles Casacuberta , Adrian R. D. Mathias

We prove that every point-finite family of nonempty functionally open sets in a topological space $X$ has the cardinality at most an infinite cardinal $\kappa$ if and only if $w(X)\leq\kappa$ for every Valdivia compact space $Y\subseteq…

General Topology · Mathematics 2015-12-25 V. V. Mykhaylyuk

Suppose $Y$ is a continuum, $x\in Y$, and $X$ is the union of all nowhere dense subcontinua of $Y$ containing $x$. Suppose further that there exists $y\in Y$ such that every connected subset of $X$ limiting to $y$ is dense in $X$. And,…

General Topology · Mathematics 2019-06-07 David Sumner Lipham

Four constructions result from a desire to create enhancements to Cantor's infinite real set cardinality. Each continues to keep Cantor's cardinality formulation in place while providing new comparisons of arbitrary infinite sets. To…

General Mathematics · Mathematics 2026-04-24 William Johnston

A partition is finitary if all its blocks are finite. For a cardinal $\mathfrak{a}$ and a natural number $n$, let $\mathrm{fin}(\mathfrak{a})$ and $\mathscr{B}_{n}(\mathfrak{a})$ be the cardinalities of the set of finite subsets and the set…

Logic · Mathematics 2024-11-12 Yifan Hu , Guozhen Shen

If $f:[a,b]\to \mathbb{R}$, with $a<b$, is continuous and such that $a$ and $b$ are mapped in opposite directions by $f$, then $f$ has a fixed point in $I$. Suppose that $f:\mathbb{C}\to\mathbb{C}$ is map and $X$ is a continuum. We extend…

General Topology · Mathematics 2016-01-25 Alexander Blokh , Lex Oversteegen

We show that if $X$ has a zero-set diagonal and $X^2$ has countable weak extent, then $X$ is submetrizable. This generalizes earlier results from Martin and Buzyakova. Furthermore we show that if $X$ has a regular $G_\delta$-diagonal and…

General Topology · Mathematics 2011-12-06 D. Basile , A. Bella , G. J. Ridderbos

Let $G$, $H$ be groups and $\kappa$ be a cardinal. A bijection $f:G\to H$ is caled on asymorphism if, for any $X\in[G]^{<\kappa}$, $Y\in[H]^{<\kappa}$, there exist $X'\in[G]^{<\kappa}$, $Y'\in[H]^{<\kappa}$ such that for all $x\in G$ and…

Group Theory · Mathematics 2016-03-01 Igor Protasov , Serhii Slobodianiuk

Given a Tychonoff space $X$, let $\varrho(X)$ be the set of remote points of $X$. We view $\varrho(X)$ as a topological space. In this paper we assume that $X$ is metrizable and ask for conditions on $Y$ so that $\varrho(X)$ is homeomorphic…

General Topology · Mathematics 2018-09-19 Rodrigo Hernández-Gutiérrez , Michael Hrušák , Angel Tamariz-Mascarúa

For a non-compact metrizable space $X$, let ${\mathcal E}(X)$ be the set of all one-point metrizable extensions of $X$, and when $X$ is locally compact, let ${\mathcal E}_K(X)$ denote the set of all locally compact elements of ${\mathcal…

General Topology · Mathematics 2015-06-25 M. R. Koushesh

It is shown that for a finite set $A$ of four or more complex numbers, the cardinality of the set $C[A]$ of all cross-ratios generated by quadruples of pair-wise distinct elements of $A$ is $|C[A]|\gg…

Combinatorics · Mathematics 2017-05-05 Misha Rudnev

A collection of sets $\Fscr$ has the $(p,q)$-property if out of every $p$ elements of $\Fscr$ there are $q$ that have a point in common. A transversal of a collection of sets $\Fscr$ is a set $A$ that intersects every member of $\Fscr$.…

Combinatorics · Mathematics 2012-01-04 Tobias Muller

A finite relational structure A is called compact if for any infinite relational structure B of the same type, the existence of a homomorphism from B to A is equivalent to the existence of homomorphisms from all finite substructures of B to…

Logic · Mathematics 2026-03-09 Claude Tardif

For a set $M$, $\operatorname{fin}(M)$ denotes the set of all finite subsets of $M$, $M^2$ denotes the Cartesian product $M\times M$, $[M]^2$ denotes the set of all $2$-element subsets of $M$, and $\operatorname{seq}^{1-1}(M)$ denotes the…

Logic · Mathematics 2023-02-07 Lorenz Halbeisen , Riccardo Plati , Salome Schumacher , Saharon Shelah

For a topological space $X$ we propose to call a subset $S \subset X$ "free in $X$" if it admits a well-ordering that turns it into a free sequence in $X$. The well-known cardinal function $F(X)$ is then definable as $\sup\{|S| : S \text{…

General Topology · Mathematics 2020-04-29 István Juhász , Lajos Soukup , Zoltán Szentmiklóssy

Cardinal characteristics of the continuum represent the boundaries in size between the countable and the continuum with respect to certain properties of sets. They are often defined as the minimum sizes of families of reals that meet some…

Logic · Mathematics 2025-03-07 Logan McDonald

Let $X$ be a compact metric space and let $f:X\rightarrow X$ be a homeomorphism on $X$. We show that if $f$ is both pointwise recurrent and expansive, then the dynamical system $(X, f)$ is topologically conjugate to a subshift of some…

Dynamical Systems · Mathematics 2022-01-04 Enhui Shi , Hui Xu , Ziqi Yu

Let T be the family of open subsets of a topological space (not necessarily Hausdorff or even T_0). We prove that if T has a countable base and is not countable, then T has cardinality at least continuum.

Logic · Mathematics 2008-02-03 Saharon Shelah