727 citations
- Cornell UniversityUS1 paper
- Louisiana State UniversityUS1 paper
- NASA Research ParkUS1 paper
- Robert Morris UniversityUS1 paper
- Universidad de MontevideoUY1 paper
- University of California, BerkeleyUS1 paper
- University of California, Santa BarbaraUS1 paper
- University of Maryland, College ParkUS1 paper
- University of Massachusetts AmherstUS1 paper
- University of MichiganUS1 paper
- University of WarsawPL1 paper
- Williams CollegeUS1 paper
11 papers
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…