English
Related papers

Related papers: How you are with $\mathfrak{s}$ and $\mathfrak{r}$…

200 papers

In this paper, we introduce and investigate a concept of Abel statistical continuity. A real valued function $f$ is Abel statistically continuous on a subset $E$ of $\R$, the set of real numbers, if it preserves Abel statistical convergent…

Functional Analysis · Mathematics 2017-11-28 Iffet Taylan , Huseyin Cakalli

We call an $\alpha \in \mathbb{R}$ regainingly approximable if there exists a computable nondecreasing sequence $(a_n)_n$ of rational numbers converging to $\alpha$ with $\alpha - a_n < 2^{-n}$ for infinitely many $n \in \mathbb{N}$. We…

Logic · Mathematics 2026-02-11 Peter Hertling , Rupert Hölzl , Philip Janicki

Let $\kappa$ be any regular cardinal. Assuming the existence of a huge cardinal above $\kappa$, we prove the consistency of $\binom{\kappa^{++}}{\kappa^+}\rightarrow\binom{\tau}{\kappa^+}$ for every ordinal $\tau<\kappa^{++}$. Likewise, we…

Logic · Mathematics 2017-02-21 Shimon Garti

It is obtained necessary and sufficient conditions of dependence on $\aleph$ coordinates for functions of several variables, each of which is a product of metrizable factors. The set of discontinuity points of such functions is…

General Topology · Mathematics 2015-12-31 V. K. Maslyuchenko , V. V. Mykhaylyuk

We prove two $\mathrm{ZFC}$ inequalities between cardinal invariants. The first inequality involves cardinal invariants associated with an analytic P-ideal, in particular the ideal of subsets of $\omega$ of asymptotic density $0$. We obtain…

Logic · Mathematics 2015-05-26 Dilip Raghavan , Saharon Shelah

The \emph{linear refinement number} $\mathfrak{lr}$ is the minimal cardinality of a centered family in $[\omega]^\omega$ such that no linearly ordered set in $([\omega]^\omega,\subseteq^*)$ refines this family. The \emph{linear excluded…

General Topology · Mathematics 2016-05-03 Michał Machura , Saharon Shelah , Boaz Tsaban

A subset $A$ of a Boolean algebra $B$ is said to be $(n,m)$-reaped if there is a partition of unity $P \subset B$ of size $n$ such that the cardinality of $\{b \in P: b \wedge a \neq \emptyset\}$ is greater than or equal to $m$ for all…

Logic · Mathematics 2008-02-03 A. Dow , J Steprāns , W. S. Watson

It is consistent that \[ \aleph_1 < \mathrm{add}(\mathrm{Null}) < \mathrm{add}(\mathrm{Meager})= \mathfrak{b} < \mathrm{cov}(\mathrm{Null}) < \mathrm{non}(\mathrm{Meager}) < \mathrm{cov}(\mathrm{Meager}) = 2^{\aleph_0}. \] Assuming four…

Logic · Mathematics 2020-01-27 Jakob Kellner , Saharon Shelah , Anda Ramona Tanasie

We prove two ZFC theorems about cardinal invariants above the continuum which are in sharp contrast to well-known facts about these same invariants at the continuum. It is shown that for an uncountable regular cardinal $\kappa$,…

Logic · Mathematics 2018-01-30 Dilip Raghavan , Saharon Shelah

By the sometimes so-called 'Main Theorem' of Recursive Analysis, every computable real function is necessarily continuous. We wonder whether and which kinds of HYPERcomputation allow for the effective evaluation of also discontinuous…

Logic in Computer Science · Computer Science 2010-05-10 Martin Ziegler

It is proved that if $R$ is a valuation domain with maximal ideal $P$ and if $R_L$ is countably generated for each prime ideal $L$, then $R^R$ is separable if and only $R_J$ is maximal, where $J=\cap_{n\in\mathbb{N}}P^n$.

Rings and Algebras · Mathematics 2007-10-04 Francois Couchot

All spaces are assumed to be Tychonoff. Given a realcompact space $X$, we denote by $\mathsf{Exp}(X)$ the smallest infinite cardinal $\kappa$ such that $X$ is homeomorphic to a closed subspace of $\mathbb{R}^\kappa$. Our main result shows…

General Topology · Mathematics 2024-11-20 Claudio Agostini , Andrea Medini , Lyubomyr Zdomskyy

The set splittability problem is the following: given a finite collection of finite sets, does there exits a single set that contains exactly half the elements from each set in the collection? (If a set has odd size, we allow the floor or…

Combinatorics · Mathematics 2019-09-17 Peter Bernstein , Cashous Bortner , Samuel Coskey , Shuni Li , Connor Simpson

We show that if $A=\{a_1 < a_2 < \ldots < a_k\}$ is a set of real numbers such that the differences of the consecutive elements are distinct, then for and finite $B \subset \mathbb{R}$, $$|A+B|\gg |A|^{1/2}|B|.$$ The bound is tight up to…

Combinatorics · Mathematics 2019-12-11 Imre Ruzsa , George Shakan , Jozsef Solymosi , Endre Szemerédi

Let X_t be a totally disconnected subset of the real line R for each t in R. We construct a partition {Y_t | t in R} of R into nowhere dense Lebesgue null sets Y_t such that for every t in R there exists an increasing homeomorphism from X_t…

General Topology · Mathematics 2020-02-21 Gerald Kuba

The aim of this paper is to consider questions concerning the possible maximum cardinality of various separable pseudoradial (in short: SP) spaces. The most intriguing question here is if there is, in ZFC, a regular (or just Hausdorff) SP…

General Topology · Mathematics 2020-12-09 Alan Dow , Istvan Juhasz

Let $\alpha$ be a real number greater than $1$. We establish an effective lower bound for the distance between an integral power of $\alpha$ and its nearest integer.

Number Theory · Mathematics 2021-01-25 Yann Bugeaud

All spaces below are $T_0$ and crowded (i.e. have no isolated points). For $n \le \omega$ let $M(n)$ be the statement that there are $n$ measurable cardinals and $\Pi(n)$ ($\Pi^+(n)$) that there are $n+1$ (0-dimensional $T_2$) spaces whose…

General Topology · Mathematics 2022-05-31 István Juhász , Lajos Soukup , Zoltán Szentmiklóssy

We develop a theory of real numbers as rational Cauchy sequences, in which any two of them, $(a_n)$ and $(b_n)$, are equal iff $\lim\,(a_n-b_n)=0$. We need such reals in the Countable Mathematical Analysis ([4]) which allows to use only…

Logic · Mathematics 2023-08-10 Martin Klazar

We show that it is consistent that the continuum is as large as you wish, and for each uncountable cardinal $\kappa$ below the continuum, there are a subset $T$ of the reals and a family $A$ of countable subsets of $T$ such that (1) both…

Logic · Mathematics 2010-03-15 Lajos Soukup