A point process, N, on the real line, is thinned using a k -dependent Markov sequence of binary variables, and is rescaled. Second-order properties of the thinned process are described when k = 1. For general k, convergence to a compound Poisson process is demonstrated.
AbstractGurevich and Shelah have shown that Peano Arithmetic cannot be interpreted in the monadic second-order theory of short chains (hence, in the monadic second-order theory of the real line). We will show here that it is consistent that the monadic second-order theory of no chain interprets Peano Arithmetic.
A point process, N, on the real line, is thinned using a k -dependent Markov sequence of binary variables, and is rescaled. Second-order properties of the thinned process are described when k = 1. For general k, convergence to a compound Poisson process is demonstrated.
AbstractWe consider a supercritical branching Lévy process on the real line. Under mild moment assumptions on the number of offspring and their displacements, we prove a second-order limit theorem on the empirical mean position.