Michael Sheard

12 papers Journal 12
YearRankTypeTitle / Venue / Authors
2015 J jnl
Erdős-Szekeres Results for Set Partitions.
Integers
Eric Gottlieb, Michael Sheard
2001 J jnl
Weak and Strong Theories of Truth.
Stud Logica
Michael Sheard
1998 J jnl
Forbidden subgraphs of graphs uniquely Hamiltonian-connected from a vertex.
Discret. Math.
George R. T. Hendry, C. J. Knickerbocker, Patti Frazer Lock, Michael Sheard
1995 J jnl
Elementary Descent Recursion and Proof Theory.
Ann. Pure Appl. Log.
Harvey Friedman, Michael Sheard
1994 J jnl
A Guide to Truth Predicates in the Modern Era.
J. Symb. Log.
Michael Sheard
1991 J jnl
On the structure of graphs uniquely hamiltonian-connected from a vertex.
Discret. Math.
C. J. Knickerbocker, Patti Frazer Lock, Michael Sheard
1989 J jnl
The Equivalence of the Disjunction and Existence Properties for Modal Arithmetic.
J. Symb. Log.
Harvey Friedman, Michael Sheard
1989 J jnl
The minimum size of graphs hamiltonian-connected from a vertex.
Discret. Math.
C. J. Knickerbocker, Patti Frazer Lock, Michael Sheard
1988 J jnl
The disjunction and existence properties for axiomatic systems of truth.
Ann. Pure Appl. Log.
Harvey M. Friedman, Michael Sheard
1987 J jnl
An axiomatic approach to self-referential truth.
Ann. Pure Appl. Log.
Harvey M. Friedman, Michael Sheard
1985 J jnl
Co-Critical Points of Elementary Embeddings.
J. Symb. Log.
Michael Sheard
1983 J jnl
Indecomposable Ultrafilters Over Small Large Cardinals.
J. Symb. Log.
Michael Sheard