Related papers: A walk with Goodstein
We continue our study of the distribution of the maximal number $X^{\ast}_k$ of offsprings amongst all individuals in a critical Galton-Watson process started with $k$ ancestors, treating the case when the reproduction law has a regularly…
We reproduce the two-body gravitational conservative dynamics at third post-Newtonian order for spin-less sources by using the effective field theory methods for the gravitationally bound two-body system, proposed by Goldberger and…
Goodman's theorem (1976) states that intuitionistic finite-type arithmetic plus the axiom of choice plus the axiom of relativized dependent choice is conservative over Heyting arithmetic. The same result applies to the extensional variant.…
We establish an invariance principle for a one-dimensional random walk in a dynamical random environment given by a speed-change exclusion process. The jump probabilities of the walk depend on the configuration of the exclusion in a finite…
In this article we present an axiomatic definition of sets with individuals and a definition of natural numbers and ordinals. We use the axioms pairs, union, power, regularity and separation. We define the equality of sets and of…
We increase the scope of previous work on change of basis between finite bases of polynomials by defining ascending and descending bases and introducing three techniques for defining them from known ones. The minimum degrees of polynomials…
In this paper we deal with a large class of dynamical systems having a version of the spectral gap property. Our primary class of systems comes from random dynamics, but we also deal with the deterministic case. We show that if a random…
This is the second paper in a series describing a numerical implementation of the conformal Einstein equation. This paper deals with the technical details of the numerical code used to perform numerical time evolutions from a "minimal" set…
We provide an axiomatic system modeling conditional preference orders which is based on conditional set theory. Conditional numerical representations are introduced, and a conditional version of the theorems of Debreu on the existence of…
We consider a special case of Dickson's lemma: for any two functions $f,g$ on the natural numbers there are two numbers $i<j$ such that both $f$ and $g$ weakly increase on them, i.e., $f_i\le f_j$ and $g_i \le g_j$. By a combinatorial…
Fix $A$, a family of subsets of natural numbers, and let $G_A(n)$ be the maximum cardinality of a subset of $\{1,2,..., n\}$ that does not have any subset in $A$. We consider the general problem of giving upper bounds on $G_A(n)$ and give…
A primary pseudoperfect number (PPN) is an integer $K > 1$ such that the reciprocals of $K$ and its prime factors sum to 1. PPNs arise in studying perfectly weighted graphs and singularities of algebraic surfaces, and are related to…
This paper proposes an alternative to standard first-order logic that seeks greater naturalness, generality, and semantic self-containment. The system removes the first-order restriction, avoids type hierarchies, and dispenses with external…
Consider a system of $n$ weakly interacting particles driven by independent Brownian motions. In many instances, it is well known that the empirical measure converges to the solution of a partial differential equation, usually called…
Discrete maximum principles in the approximation of partial differential equations are crucial for the preservation of qualitative properties of physical models. In this work we enforce the discrete maximum principle by performing a simple…
We prove the almost sure invariance principle with rate $o(n^{\varepsilon})$ for every $\varepsilon > 0$ for H\"older continuous observables on nonuniformly expanding and nonuniformly hyperbolic transformations with exponential tails.…
A first-principles theory is developed for the general evolution of a key structural characteristic of planar granular systems - the cell order distribution. The dynamic equations are constructed and solved in closed form for a number of…
The stochastic properties of variables whose addition leads to $q$-Gaussian distributions $G_q(x)=[1+(q-1)x^2]_+^{1/(1-q)}$ (with $q\in\mathbb{R}$ and where $[f(x)]_+=max\{f(x),0\}$) as limit law for a large number of terms are…
We show how to extend Epstein's algebraic transversality principles for rational maps $f$ of ${\mathbb P}^1_{\mathbb C}$ to infinite forward invariant subsets of the Fatou set. The key, at least conceptually, to doing this is to have a…
All the already known results on self descriptive numbers, together with the demonstration of the uniqueness for bases greater than 6, are here obtained through a systematic scheme of proof and not trial and error. The proof is also…