2002 |
12 | | Bradd Hart,
Ehud Hrushovski,
Michael C. Laskowski:
Unique Decomposition in Classifiable Theories.
J. Symb. Log. 67(1): 61-68 (2002) |
2000 |
11 | | Bradd Hart,
Byunghan Kim,
Anand Pillay:
Coordinatisation and Canonical Bases in Simple Theories.
J. Symb. Log. 65(1): 293-309 (2000) |
1999 |
10 | | Bradd Hart,
Zeljko Sokolovic,
Predrag Tanovic:
A Note On Alpha-Prime Models.
J. Symb. Log. 64(4): 1557-1562 (1999) |
1997 |
9 | | Ambar Chowdhury,
Bradd Hart:
An Unclassifiable Unidimensional Theory without OTOP.
Notre Dame Journal of Formal Logic 38(1): 93-103 (1997) |
1994 |
8 | | Bradd Hart,
Sergei Starchenko:
Superstable Quasi-Varieties.
Ann. Pure Appl. Logic 69(1): 53-71 (1994) |
1993 |
7 | | Bradd Hart,
Anand Pillay,
Sergei Starchenko:
Triviality, NDOP and Stable Varieties.
Ann. Pure Appl. Logic 62(2): 119-146 (1993) |
6 | | Saharon Shelah,
Claude Laflamme,
Bradd Hart:
Models with Second Order Properties V: A General Principle.
Ann. Pure Appl. Logic 64(2): 169-194 (1993) |
5 | | Bradd Hart,
Sergei Starchenko:
Addendum to ``A Structure Theorem for Strongly Abelian Varieties''.
J. Symb. Log. 58(4): 1419-1425 (1993) |
1991 |
4 | | Bradd Hart,
Matthew Valeriote:
A Structure Theorem for Strongly Abelian Varieties with Few Models.
J. Symb. Log. 56(3): 832-852 (1991) |
1989 |
3 | | Bradd Hart:
A Proof of Morley's Conjecture.
J. Symb. Log. 54(4): 1346-1358 (1989) |
2 | | Rami P. Grossberg,
Bradd Hart:
The Classification of Excellent Classes.
J. Symb. Log. 54(4): 1359-1381 (1989) |
1986 |
1 | | László Csirmaz,
Bradd Hart:
Program Correctness on Finite Fields
LICS 1986: 4-10 |