Charles Steinhorn

18 papers Journal 16
YearRankTypeTitle / Venue / Authors
2016 J jnl
Expansions of o-minimal structures by dense independent sets.
Ann. Pure Appl. Log.
Alfred Dolich, Chris Miller, Charles Steinhorn
2015 J jnl
Pseudofinite structures and simplicity.
J. Math. Log.
Darío García, Dugald Macpherson, Charles Steinhorn
2015 J jnl
Uncountable Real Closed Fields with PA Integer Parts.
J. Symb. Log.
David Marker, James H. Schmerl, Charles Steinhorn
2014 J jnl
Definably extending partial orders in totally ordered structures.
Math. Log. Q.
Janak Ramakrishnan, Charles Steinhorn
2013 J jnl
Extensions of ordered theories by generic predicates.
J. Symb. Log.
Alfred Dolich, Chris Miller, Charles Steinhorn
2011 — ch.
Definability in classes of finite structures.
Finite and Algorithmic Model Theory
Dugald Macpherson, Charles Steinhorn
2011 — book
Finite and Algorithmic Model Theory.
Javier Esparza, Christian Michaux, Charles Steinhorn
2009 J jnl
On linearly Ordered Structures of finite Rank.
J. Math. Log.
Alf Onshuus, Charles Steinhorn
1997 J jnl
Extending Partial Orders on o-Minimal Structures to Definable Total Orders.
Math. Log. Q.
Dugald Macpherson, Charles Steinhorn
1996 J jnl
On Variants of o-Minimality.
Ann. Pure Appl. Log.
Dugald Macpherson, Charles Steinhorn
1995 J jnl
On o-Minimal Expansions of Archimedean Ordered Groups.
J. Symb. Log.
Michael C. Laskowski, Charles Steinhorn
1994 J jnl
Definable Types in O-Minimal Theories.
J. Symb. Log.
David Marker, Charles Steinhorn
1990 J jnl
The Nonaxiomatizability of L(Q
Notre Dame J. Formal Log.
Saharon Shelah, Charles Steinhorn
1989 J jnl
The Boolean Spectrum of an o-Minimal Theory.
Notre Dame J. Formal Log.
Charles Steinhorn, Carlo Toffalori
1987 J jnl
Discrete o-minimal structures.
Ann. Pure Appl. Log.
Anand Pillay, Charles Steinhorn
1987 J jnl
On Dedekind Complete O-Minimal Structures.
J. Symb. Log.
Anand Pillay, Charles Steinhorn
1986 J jnl
On the nonaxiomatizability of some logics by finitely many schemas.
Notre Dame J. Formal Log.
Saharon Shelah, Charles Steinhorn
1985 J jnl
A Note on Nonmultidimensional Superstable Theories.
J. Symb. Log.
Anand Pillay, Charles Steinhorn