A Note on Nonmultidimensional Superstable Theories. - Anand Pillay; Charles Steinhorn (J. Symb. Log., 1985)

On the nonaxiomatizability of some logics by finitely many schemas. - Saharon Shelah; Charles Steinhorn (Notre Dame J. Formal Log., 1986)

Discrete o-minimal structures. - Anand Pillay; Charles Steinhorn (Ann. Pure Appl. Log., 1987)

On Dedekind Complete O-Minimal Structures. - Anand Pillay; Charles Steinhorn (J. Symb. Log., 1987)

The Boolean Spectrum of an o-Minimal Theory. - Charles Steinhorn; Carlo Toffalori (Notre Dame J. Formal Log., 1989)

The Nonaxiomatizability of L(Q2ℵ1) by Finitely Many Schemata. - Saharon Shelah; Charles Steinhorn (Notre Dame J. Formal Log., 1990)

Definable Types in O-Minimal Theories. - David Marker; Charles Steinhorn (J. Symb. Log., 1994)

On o-Minimal Expansions of Archimedean Ordered Groups. - Michael C. Laskowski; Charles Steinhorn (J. Symb. Log., 1995)

On Variants of o-Minimality. - Dugald Macpherson; Charles Steinhorn (Ann. Pure Appl. Log., 1996)

Extending Partial Orders on o-Minimal Structures to Definable Total Orders. - Dugald Macpherson; Charles Steinhorn (Math. Log. Q., 1997)

On linearly Ordered Structures of finite Rank. - Alf Onshuus; Charles Steinhorn (J. Math. Log., 2009)

Definability in classes of finite structures. - Dugald Macpherson; Charles Steinhorn (Finite and Algorithmic Model Theory, 2011)

Extensions of ordered theories by generic predicates. - Alfred Dolich; Chris Miller 001; Charles Steinhorn (J. Symb. Log., 2013)

Definably extending partial orders in totally ordered structures. - Janak Ramakrishnan; Charles Steinhorn (Math. Log. Q., 2014)

Pseudofinite structures and simplicity. - Darío García; Dugald Macpherson; Charles Steinhorn (J. Math. Log., 2015)

Uncountable Real Closed Fields with PA Integer Parts. - David Marker; James H. Schmerl; Charles Steinhorn (J. Symb. Log., 2015)

Expansions of o-minimal structures by dense independent sets. - Alfred Dolich; Chris Miller 001; Charles Steinhorn (Ann. Pure Appl. Log., 2016)