Michael Sheard

Publication Activity (10 Years)

Years Active: 1983-2015
Publications (10 Years): 0

Top Topics

Probability Distribution

Top Venues

Publications

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