Related papers: Cardinality of a floor function set

Given positive integers $n,k$ with $k\leq n$, we consider the number of ways of choosing $k$ subsets of $\{1,\ldots,n\}$ in such a way that the union of these subsets gives $\{1,\ldots,n\}$ and they are not subsets of each other. We refer…

We consider a notion of "numerosity" for sets of tuples of natural numbers, that satisfies the five common notions of Euclid's Elements, so it can agree with cardinality only for finite sets. By suitably axiomatizing such a notion, we show…

Given three positive integers $n,a,b$ with $n=ab$, we determine the base size of the symmetric group and of the alternating group of degree $n$ in their action on the set of partitions into $b$ parts having cardinality $a$.

In this study, we study the relation between Grundy numbers of a Maximum Nim and Josephus problem. Let f(x) = floor(x/k), where floor( ) is the floor function and k is a positive integer. We prove that there is a simple relation with a…

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…

We investigate the partial orderings of the form (P(X),\subset), where X is a relational structure and P(X) the set of the domains of its isomorphic substructures. A rough classification of countable binary structures corresponding to the…

A ballean is a set $X$ endowed with some family $\F$ of its subsets, called the balls, in such a way that $(X,\F)$ can be considered as an asymptotic counterpart of a uniform topological space. Given a cardinal $\kappa$, we define $\F$…

We study the general problem of the behaviour of the continuum function in the presence of non-supercompact strongly compact cardinals.

For a real number $x$, call $\frac1n \lfloor nx \rfloor$ the $n$-th lower rational approximation of $x$. We study the functions defined by taking the cumulative average of the first $n$ lower rational approximations of $x$, which we call…

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{…

Let $\ell$ be a prime number, $F$ be a global function field of characteristic $\ell$. Assume that there is a prime $P_\infty$ of degree $1$. Let $\mathcal{O}_F$ be the ring of functions in $F$ with no poles outside of $\{P_\infty\}$. We…

In this paper we investigate some properties of forcing which can be considered "nice" in the context of singularizing regular cardinals to have an uncountable cofinality. We show that such forcing which changes cofinality of a regular…

Under the assumption $\frak{c}\geqslant \omega_2$, we give an example of a dense plastic subset $X\subseteq\mathbb{R}$ of cardinality $|X|<\frak{c}$. This answers Problem 1 of arXiv:2510.10537.

We find the cardinality of the value sets of polynomial maps associated with simple complex Lie algebras $B_2$ and $G_2$ over finite fields. We achieve this by using a characterization of their fixed points in terms of sums of roots of…

We first determine the maximal clones on a set X of infinite regular cardinality which contain all permutations but not all unary functions, extending a result of Heindorf's for countably infinite X. If |X| is countably infinite or weakly…

We show that $|mK_X|$ defines a birational map and has no fixed part for some bounded positive integer $m$ for any $\frac{1}{2}$-lc surface $X$ such that $K_X$ is big and nef. For every positive integer $n\geq 3$, we construct a sequence of…

Let f(t) be a rational function of degree at least 2 with rational coefficients. For a given rational number x_0, define x_{n+1}=f(x_n) for each nonnegative integer n. If this sequence is not eventually periodic, then the difference…

A proof that the set of real numbers is denumerable is given.

This paper describes problems concerning the range of cardinalities of sumsets and restricted sumsets of finite subsets of the integers and finite subsets of ordered abelian groups.

We introduce and axiomatize the notion of a reflective cardinal, use it to give semantics to higher order set theory, and explore connections between the notion of reflective cardinals and large cardinal axioms.