727 citations
- University of California, BerkeleyUS9 papers
- Brookhaven National LaboratoryUS7 papers
- California Institute of TechnologyUS6 papers
- Indiana University BloomingtonUS6 papers
- Institute for High Energy PhysicsES6 papers
- Lawrence Berkeley National LaboratoryUS6 papers
- Louisiana State UniversityUS6 papers
- Michigan State UniversityUS6 papers
- Universidade de São PauloBR6 papers
- University of BirminghamGB6 papers
- University of Illinois ChicagoUS6 papers
- University of WashingtonUS6 papers
11 papers · 1 filter
Categoricity from one successor cardinal in Tame Abstract Elementary Classes
Rami Grossberg, Monica VanDieren
Let K be an abstract elementary classes which has arbitrarily large models and satisfies the amalgamation and joint embedding properties. Theorem 1. Suppose K is χ-tame. If K is ca…
Galois-stability for Tame Abstract Elementary Classes
Rami Grossberg, Monica VanDieren
We introduce tame abstract elementary classes as a generalization of all cases of abstract elementary classes that are known to permit development of stability-like theory. In this…
A formally verified proof of the prime number theorem
Jeremy Avigad, Kevin Donnelly, David Gray +1
The prime number theorem, established by Hadamard and de la Vall'ee Poussin independently in 1896, asserts that the density of primes in the positive integers is asymptotic to 1 /…
An effective theory of initial conditions in inflation
Hael Collins, R. Holman
We examine the renormalization of an effective theory description of a general initial state set in an isotropically expanding space-time, which is done to understand how to includ…
Seeing stars: Exploiting class relationships for sentiment categorization with respect to rating scales
Bo Pang, Lillian Lee
We address the rating-inference problem, wherein rather than simply decide whether a review is "thumbs up" or "thumbs down", as in previous sentiment analysis work, one must determ…
Noise stability of functions with low influences: invariance and optimality
Elchanan Mossel, Ryan O'Donnell, Krzysztof Oleszkiewicz
In this paper we study functions with low influences on product probability spaces. The analysis of boolean functions with low influences has become a central problem in discrete F…