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...

Available online 12 November 2008

PURPOSE OF THE STUDY Older adults often have problems finding their way in novel environments such as senior living residences and hospitals. The purpose of this study was to examine the types of self-reported search strategies and cues that older adults use to find their way in a virtual maze. DESIGN AND METHODS Healthy, independently living older adults (n = 129) aged 55-96 were tested in a...

he future of healthcare delivery systems will depend on heir ability to provide the best care at the least cost. In he clinical laboratory, this translates to ensuring that lecreased test use means appropriate use. The latter is nhikely to occur unless clinical laboratories provide practicing physicians with advice on test strategy and iterpretation of results. Effective clinical laboratory con...