Related papers: On collection schemes and Gaifman's splitting theo…

In the classification of complete first-order theories, many dividing lines have been defined in order to understand the complexity and the behavior of some classes of theories. In this paper, using the concept of patterns of consistency…

Inspired by Cohen and te Riele~\cite{Cohen1996}, who computationally verified that for every $n \leq 400$ there exists $k$ such that $\sigma^k(n) \equiv 0 \pmod{n}$ (where $\sigma^k$ denotes the $k$-fold iteration of the sum-of-divisors…

Let $n$ be a positive integer. A collection $\cal S$ of subsets of $[n]=\{1,\ldots,n\}$ is called {\it symmetric} if $X\in {\cal S}$ implies $X^\ast\in {\cal S}$, where $X^\ast:=\{i\in [n]\colon n-i+1\notin X\}$. We show that in each of the…

We prove a general decomposition theorem for the modal $\mu$-calculus $L_\mu$ in the spirit of Feferman and Vaught's theorem for disjoint unions. In particular, we show that if a structure (i.e., transition system) is composed of two…

In this paper we characterize, in terms of the prime divisors of $n$, the pairs $(k,n)$ for which $n$ divides $\sum_{j=1}^n j^{k}$. As an application, we study the sets $\mathcal{M}_f :=\{n: n \textrm{divides} \sum_{j=1}^n j^{f(n)} \}$ for…

We treat problems of fair division, their various interconnections, and their relations to Sperner's lemma and the KKM theorem as well as their variants. We prove extensions of Alon's necklace splitting result in certain regimes and relate…

Orbit-finite models of computation generalise the standard models of computation, to allow computation over infinite objects that are finite up to symmetries on atoms, denoted by $\mathbb{A}$. Set theory with atoms is used to reason about…

Let K be a complete discretely valued field of mixed characteristic (0, p) with possibly imperfect residue field. We prove a Hasse-Arf theorem for the arithmetic ramification filtrations on G_K, except possibly in the absolutely unramified…

We show that the theory $I\Sigma_1$ of $\Sigma_1$-induction proves the following statement: For all $n\geq 2$, the uniform $\Sigma_1$-reflection principle over the theory $I\Sigma_n$ is equivalent to the totality of the function…

Let $N$ be a simply connected, connected non-commutative nilpotent Lie group with Lie algebra $\mathfrak{n}$ having rational structure constants. We assume that $N=P\rtimes M,$ $M$ is commutative, and for all $\lambda\in…

We show the equivalence between the three approximation schemes for self-interacting (1+1)-D scalar field theories. Based on rigorous results of [1, 2], we are able to prove that the Gaussian approximation is very precise for certain limits…

We make use of generalized iterations of Jensen forcing to define a cardinal-preserving generic model of ZF for any $n\ge 1$ and each of the following four Choice hypotheses: (1)…

Let $(M,\scott X) \models \ACA$ be such that $P_\scott X$, the collection of all unbounded sets in $\scott X$, admits a definable complete ultrafilter and let $T$ be a theory extending first order arithmetic coded in $\scott X$ such that…

We prove that in a countable theory T fully stable over a predicate P, any complete set A has the existence property. This means that A can be extended to a model of T without changing the P-part. In particular, T has the Gaifman property:…

We consider composite $n$ satisfying the congruence $$n \cdot \sigma_k(n) \equiv 2 \pmod{\phi(n)},$$ and show a "flanking" structure: $14$ appears in both $S_{k-1}$ and $S_{k+1}$ whenever certain values of $n$ appear in $S_k$; and,…

This Ph.D. thesis concerns the version of the classical coupon collector's problem, when a collector samples with replacement a set of $n\ge 2$ distinct coupons so that at each time any one of the $n$ coupons is drawn with the same…

In this paper we study scalar multivariate subdivision schemes with general integer expanding dilation matrix. Our main result yields simple algebraic conditions on the symbols of such schemes that characterize their polynomial…

In this paper, we prove that an algebraic fiber space $f:X\to Y$ over a perfect field $k$ of characteristic $p>0$ with nef relative anti-canonical divisor $-K_{X/Y}$ splits into the product after taking the base change along a finite cover…

Distribution testing deals with what information can be deduced about an unknown distribution over $\{1,\ldots,n\}$, where the algorithm is only allowed to obtain a relatively small number of independent samples from the distribution. In…

Let $R$ be a discrete valuation ring with fraction field $K$ and $X$ a flat $R$-scheme. Given a faithful action of a $K$-group scheme $G_K$ over the generic fibre $X_K$, we study models $G$ of $G_K$ acting on $X$. In various situations, we…