Related papers: Splitting, Bounding, and Almost Disjointness can b…
In this Part I, we shall prove the consistency of arithmetic without complete induction from a point of view of strong negation, using its embedding to the tableau system $\bf SN$ of constructive arithmetic with strong negation without…
Using the discrete-scale invariance theory, we show that the coupling constants of fundamental forces, the atomic masses and energies, and the elementary particle masses, obey to the fractal properties.
Disjoint $n$-amalgamation is a condition on a complete first-order theory specifying that certain locally consistent families of types are also globally consistent. In this paper, we show that if a countably categorical theory $T$ admits an…
We give the first (ZFC) dividing line in Keisler's order among the unstable theories, specifically among the simple unstable theories. That is, for any infinite cardinal $\lambda$ for which there is $\mu < \lambda \leq 2^\mu$, we construct…
Given positive measures $\nu,\mu$ on an arbitrary measurable space $(\Omega, \mathcal F)$, we construct a sequence of finite partitions $(\pi_n)_n$ of $(\Omega, \mathcal F)$ s.t. $$ \sum_{A\in \pi_n: \mu(A)>0} 1_{A} \frac{\nu(A)}{\mu(A)}…
Let $\frak E$ denote be the ring of Eisenstein integers. Let $z\in \mathbb C$ and $p_n,q_n \in \frak E$ be such that $\{p_n/q_n\}$ is the sequence of convergents corresponding to the continued fraction expansion of $z$ with respect to the…
We discuss some conjectural inequalities that are related to singular integrals, martingales, quasiconformal mappings, and the calculus of variations. Specifically, we present evidence for a conjecture of Iwaniec concerning the best…
Ap\'ery's remarkable discovery of rapidly converging continued fractions with small coefficients for $\zeta(2)$ and $\zeta(3)$ has led to a flurry of important activity in an incredible variety of different directions. Our purpose is to…
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…
Fundamental to the theory of continued fractions is the fact that every infinite continued fraction with positive integer coefficients converges; however, it is unknown precisely which continued fractions with integer coefficients (not…
Let x be a quadratic irrational and let P be the set of prime numbers. We show the existence of an infinite subset S of P such that the statistics of the period of the continued fraction expansions along the sequence {px: p\in S} approach…
We prove the consistency with ZFC of ``the length of an ultraproduct of Boolean algebras is smaller than the ultraproduct of the lengths''. Similarly for some other cardinal invariants of Boolean algebras.
Let G be a quasisimple algebraic group over an algebraically closed field of characteristic p>0. We suppose that p is very good for G; since p is good, there is a bijection between the nilpotent orbits in the Lie algebra and the unipotent…
We present a rigorous analytic proof of a generalized continued fraction (GCF) identity for the transcendental constant $8/\pi^2$, a result recently conjectured via the algorithmic framework of the Ramanujan Machine. Distinct from canonical…
The paper establishes several inequalities between cardinal characteristics of the continuum. In particular, it is shown that the partition splitting number is not larger than the uniformity of the meagre ideal; not all sets of reals having…
We consider the fragment F of first order arithmetic in which quantification is restricted to ''for all but finitely many.'' We show that the integers form an F-elementary substructure of the real numbers. Consequently, the F-theory of…
We introduce a join construction as a way of completing the description of the relative conormal space of an analytic function on a complex analytic space that has a non-vanishing derivative at the origin. Then we show how to obtain a…
We extend the geometric side of Arthur's non-invariant trace formula for a reductive group $G$ defined over $\mathbb{Q}$ continuously to a natural space $\mathcal{C}(G(\mathbb{A}^1))$ of test functions which are not necessarily compactly…
We explore partitions that lie in the intersection of several sets of classical interest: partitions with parts indivisible by $m$, appearing fewer than $m$ times, or differing by less than $m$. We find results on their behavior and…
In the absence of the axiom of choice, the set-theoretic status of many natural statements about metrizable compact spaces is investigated. Some of the statements are provable in $\mathbf{ZF}$, some are shown to be independent of…