Rami Grossberg
Department of Mathematical Sciences
Carnegie Mellon University
I'm interested in model theory (a branch of logic), especially in the
classification theory of non elementary classes,
infinitary logics, extensions of firstorder logic, combinatorial
set theory, and the
applications of these areas to algebra.
What Shelah think of model theory? See Saharon Shelah's short article
John Baldwin wrote a
paper containing survey of results and some problems that
occupy me in recent years.
My old and outdated "official" page in our departmental catalog is
here.
Former graduate students and first position after Ph.D.:
Current graduate student:
Downloading files in the DVI or PDF formats is much
faster since they
are only 3040% of the size of PS files. The files are optimized for PDF.
(c) All material accessible through this page is copyright by
Rami Grossberg and his coauthors and by the corresponding publishers.
Permission is granted for fair use in personal, noncommercial,
and academic projects.
 Rami Grossberg and
Saharon Shelah. On universal locally finite groups,
Israel Journal of Mathematics, 41, (1983) 289302.
 Rami Grossberg.
Models with second order properties in successors of singulars,
Journal of Symbolic Logic, 54, (1989) 122137.
pdf file from JSTOR
 Rami Grossberg and
Saharon Shelah.
On the number of non isomorphic
models of an infinitary theory which has the order property Part A,
Journal of Symbolic Logic, 51, (1986) 302322.
pdf file from JSTOR
 Rami Grossberg and
Saharon Shelah.
A nonstructure theorem for a
theory which has the unsuperstability property,
Illinois J. of Mathematics, 30, (1986) 364390.
 Rami Grossberg.
A downward L\"{o}wenheim Skolem theorem for
theories which have the unsuperstability property,
Journal of Symbolic Logic, 53, (1988) 231242.
pdf file from JSTOR
 Rami Grossberg and
Saharon Shelah.
On the structure of $Ext_p(G,{\bf Z})$,
Journal of Algebra, 121, (1989) 117128.
 Rami Grossberg and Bradd Hart.
The classification theory of excellent classes,
Journal of Symbolic Logic, 54, (1989) 13591381.
pdf file from JSTOR

Michael Albert and Rami Grossberg. Rich models,
Journal of Symbolic Logic, 55, (1990) 12921298.
pdf file from JSTOR
 Rami Grossberg.
Indiscernible sequences in a model which fails to
have the order property, Journal of Symbolic Logic, 56 (1991) 115123.
pdf file from JSTOR

Rami Grossberg. On chains of relatively saturated submodels of a
model without the order property, Journal of Symbolic Logic,
56, (1991) 123128.
pdf file from JSTOR

Rami Grossberg. Review of Wilfried Hodges's book 
"Building models by games", Journal of Symbolic Logic, 56 (1991)
752753.
pdf file from JSTOR

Martin Goldstern, Rami Grossberg and
Menachem Kojman.
Infinite homogeneous bipartite graphs with unequal sides,
Discrete Mathematics 149 (1996) 6982.
ps
,
dvi
,
pdf
.

Saharon Shelah
and Rami Grossberg.
On cardinalities in quotients of inverse limits of groups,
Mathematica Japonica. 47 (1998), no. 2, 189197.
ps
,
dvi
,
pdf
.

John T. Baldwin, Rami Grossberg and
Saharon Shelah.
A characterization of the finite cover property
and stability,
Journal of Symbolic Logic
64 (1999) 678684.
ps
,
dvi
,
pdf
.

Rami Grossberg and
Saharon Shelah.
On Hanf numbers of the infinitary
order property. 19 pages, DRAFT revised on 6/9/98.
ps
,
dvi
,
pdf
.

Doug Ensley
and Rami Grossberg.
Ramsey's theorem in stable structures,
21 pages, last revision 5/15/97.
ps
,
dvi
,
pdf
.

Rami Grossberg and
Olivier Lessmann.
Dependence Relation in Pregeometries,
Algebra Univesalis 44 (2000) pp 199216.
The published paper from Birkhauser's site.
ps
,
dvi
,
pdf
.

Rami Grossberg and
Olivier Lessmann.
The local order property in non elementary classes,
Arch Math Logic 39 (2000) 6, 439457.
The published paper from Springer's site.
ps
,
dvi
,
pdf
.

Rami Grossberg,
José Iovino
and
Olivier Lessmann.
A primer of simple theories,
Archive of Math Logic, 41, (2002), 541580.
The published paper from Springer's site.
ps
,
dvi
,
pdf
.

Rami Grossberg and
Olivier Lessmann.
Shelah's stability spectrum
and homogeneity spectrum in finite diagrams,
Arch. Math. Logic 41 (2002) 1, 131.
The published paper from Springer's site.
ps
,
dvi
,
pdf
.

Rami Grossberg.
Classification theory for
abstract elementary classes,
Logic and Algebra, ed. Yi Zhang,
Contemporary Mathematics, Vol 302, AMS, (2002), pp. 165204.
ps
,
pdf
.

Rami Grossberg,
Alexei Kolesnikov,
Ivan Tomasic
and
Monica VanDieren.
The equality S1=D=R,
Mathematical Logic Quaterly, 49, (2003), 115128.
pdf
file from the publisher Wiley InterScience
.

Rami Grossberg and
Olivier Lessmann.
Abstract decomposition theorem and
applications,
Contemporary Mathematics, Vol 380, (2005), AMS, pp. 73108.
ps
,
pdf
.

Rami Grossberg and
Monica VanDieren.
Shelah's Categoricity Conjecture from a
successor for Tame Abstract Elementary Classes.
Journal of
Symbolic Logic, Vol 71 (2006) 2,
553568.
ps
,
pdf
.

Rami Grossberg and
Monica VanDieren.
Galoisstability for Tame Abstract Elementary Classes.
Journal of Mathematical Logic, Vol. 6, No. 1 (2006) 2549. ps
,
pdf
.

Rami Grossberg and
Monica VanDieren.
Categoricity from one successor cardinal
in Tame Abstract Elementary Classes.
Journal of Mathematical Logic, Vol. 6, No. 2 (2006)
181201.
ps
,
pdf
.

Rami Grossberg and
Alexei Kolesnikov.
Superior Abstract Elementary Classes are Tame.
26 pages, last updated 9/9/05.
ps
,
pdf
. submitted.

Rami Grossberg,
Monica VanDieren and
Andrés Villaveces.
Uniqueness of Limit Models in Classes with Amalgamation.
30 pages, last updated 1/12/2012
pdf
. submitted.

Will Boney
and Rami Grossberg.
Forking in Short and Tame AECs. pdf
.
36 pages, last updated 5/8/2014.

Will Boney, Rami Grossberg,
Alexei Kolesnikov
and
Sebastien Vasey.
Canonical forking in AECs. pdf
.
31 pages, last updated 4/5/2014.
I am working on three volume model theory book series:
 A course in Model Theory I: Introduction, 712 pages.
 A course in Model Theory II: Classification Theory, 233 pages.
 A course in Model Theory III: Classification Theory for Abstract
Elementary Classes, 205 pages.
For more information click here
.
Note on PDF: Some ligatures may not display correctly on your screen,
depending on your operating system.
However, the output on a PostScript printer should be of excellent
quality.
Past Teaching

Fall, 2011

Spring, 2012

Fall, 2012

Spring, 2013

Fall, 2013

Spring, 2014

Fall, 2014

Little before fall 1992 I started a
Mathematical Logic Seminar
and managed it until fall 2002. I am not responsible for that
seminar anymore, it is run now
in a different format than in the past by Ernest Schimmerling.
At present I am organizing a
Model Theory Seminar. The seminar meets on Mondays 56:30PM in WeH
8220. Information about current talks and talks given the last three years
can be found
here.

US News 2010 Ranking of PhD programs in Mathematical Logic,

A nonErdos like interview with my boss,
 A workshop dedicated to Classification Theory for Abstract Elementary
Classes was held at the American Institute of Mathematics
July 17 to July 21 2006.
More information,

A Condensed biography of Julia Robinson,

The CMU pure and applied logic home page,

The CMU math dept,
 American Mathematical
Society,
 Association for Symbolic
Logic,

Mathematics web sites
around the world,
 Mathematical Logic
around the world,

Another list of
logic and mathematics,

Tom Scanlon's seminars at Berkeley,
 Web pages
of some settheorists,

The Los Alamos Eprints server,

MSRI lectures on video,
 Saharon Shelah's
papers.

National Research Council's ranking of PhD programs,
last time updated 1994,
 Pictures I have taken in Bogota during
BMMT 2003 ,
can be found here.
Rami@cmu.edu
Last modified:
August 16^{th}, 2014. 