We consider the question of strong cosmic censorship in spatially compact, spatially locally homogeneous vacuum models. We show in particular that strong cosmic censorship holds in Bianchi IX vacuum space–times with spherical spatial topology.

A supersimple theory eliminates hyperimaginaries. In particular, in a supersimple theory Lascar strong type is the same as strong type, and every strong type has a canonical base in C . It follows that the Amalgamation Theorem (Independence Theorem) holds for types over algebraically closed sets.

An odd prime p is called a Wieferich prime if 2p−1 ≡ 1 (mod p); alternatively, a Wilson prime if (p− 1)! ≡ −1 (mod p). To date, the only known Wieferich primes are p = 1093 and 3511, while the only known Wilson primes are p = 5, 13, and 563. We report that there exist no new Wieferich primes p < 4×1012 , and no new Wilson primes p < 5×108. It is elementary that both defining congruences above h...

Let ψm be the smallest strong pseudoprime to the first m prime bases. This value is known for 1 ≤ m ≤ 11. We extend this by finding ψ12 and ψ13. We also present an algorithm to find all integers n ≤ B that are strong pseudoprimes to the first m prime bases; with a reasonable heuristic assumption we can show that it takes at most B2/3+o(1) time.

We prove a uniform functional law of the logarithm for the local empirical process. To accomplish this we combine techniques from classical and abstract empirical process theory, Gaussian distributional approximation and probability on Banach spaces. The body of techniques we develop should prove useful to the study of the strong consistency of d-variate kernel-type nonparametric function estim...