Michael Sheard - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 12 from 12

2015

Erdős-Szekeres Results for Set PartitionsEric Gottlieb, Michael Sheard. int, 15, 2015. [doi]

2001

Weak and Strong Theories of TruthMichael Sheard. sLogica, 68(1):89-101, 2001.

1998

Forbidden subgraphs of graphs uniquely Hamiltonian-connected from a vertexGeorge R. T. Hendry, C. J. Knickerbocker, Patti Frazer Lock, Michael Sheard. DM, 187(1-3):281-290, 1998. [doi]

1995

Elementary Descent Recursion and Proof TheoryHarvey Friedman, Michael Sheard. APAL, 71(1):1-45, 1995.

1994

A Guide to Truth Predicates in the Modern EraMichael Sheard. JSYML, 59(3):1032-1054, 1994.

1991

On the structure of graphs uniquely hamiltonian-connected from a vertexC. J. Knickerbocker, Patti Frazer Lock, Michael Sheard. DM, 88(1):33-48, 1991. [doi]

1989

The Equivalence of the Disjunction and Existence Properties for Modal ArithmeticHarvey Friedman, Michael Sheard. JSYML, 54(4):1456-1459, 1989.

The minimum size of graphs hamiltonian-connected from a vertexC. J. Knickerbocker, Patti Frazer Lock, Michael Sheard. DM, 76(3):277-278, 1989. [doi]

1988

The disjunction and existence properties for axiomatic systems of truthHarvey M. Friedman, Michael Sheard. APAL, 40(1):1-10, 1988. [doi]

1987

An axiomatic approach to self-referential truthHarvey M. Friedman, Michael Sheard. APAL, 33:1-21, 1987. [doi]

1985

Co-Critical Points of Elementary EmbeddingsMichael Sheard. JSYML, 50(1):220-226, 1985.

1983

Indecomposable Ultrafilters Over Small Large CardinalsMichael Sheard. JSYML, 48(4):1000-1007, 1983.

Sign in or sign up to see more results.

runs on WebDSL