Rami Grossberg

Rami Grossberg (Hebrew: רמי גרוסברג) is a full professor of mathematics at Carnegie Mellon University. He works in model theory.

Grossberg's work revolves around the development of a model-theory for classes that cannot be axiomatized by first-order sentences. His early work includes:

• (with Shelah) Finding that under the weak continuum hypothesis there is no universal object in the class of uncountable locally finite groups^[2].
• Generalizing the Keisler–Shelah omitting types theorem for ${\displaystyle {\mathit {L(Q)}}}$ (first-order logic with the quantifier "there exists uncountably many") to successors of singular cardinals^[3].
• (with Hart) proving a structure theorem for ${\displaystyle {\mathit {L}}_{\omega _{1},\omega }}$ (first-order logic, but with countably infinite conjunctions and disjunctions), which resolves Morley's spectrum problem for the so-called "excellent" classes^[4].
• (with Shelah), showing that there is a jump in cardinality of the abelian group ${\displaystyle {\text{Ext}}_{p}(G,\mathbf {Z} )}$ at the first singular strong limit cardinal^[5].

Grossberg later work focuses on Abstract elementary classes, a framework for model theory of non first-order classes that encompasses many infinitary logics as a special case (including the aforementioned ${\displaystyle {\mathit {L}}_{\omega _{1},\omega }}$ and ${\displaystyle {\mathit {L}}(Q)}$). While the definition of the framework is due to Shelah, Grossberg wrote the first expository paper on the topic. The paper gives the definition of these classes, proves many key facts, and lists open problems^[6]. As of 2026, it has become Grossberg's most cited paper^[7].

In joint work with Monica VanDieren, he gives a proof of an "upward" Morley's Categoricity Theorem for Abstract Elementary Classes with the amalgamation property, that are tame^[8].

The tameness property used in the paper has turned into an independent notion of interest. It has led for example to new understanding of the notion of forking in the abstract elementary class setting ^[9]. The research program on tameness remains active ^[10]. A joint work with Sebastien Vasey proves for examples that numerous candidate definitions of superstability are all equivalent in the tame context. This gives evidence that sizable fragments of classification theory generalize well to the abstract elementary class framework^[11].

Grossberg's students have written more than 60 papers under his guidance, mostly on abstract elementary classes ^[12].

• Rami Grossberg's homepage
• Rami Grossberg at the Mathematics Genealogy Project
• Rami Grossberg publications indexed by Google Scholar