Michael Sheard

Available identifiers

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5262048	2015-07-09	Paper
Backwards Induction and a Formula of Ramanujan	2013-11-06	Paper
https://portal.mardi4nfdi.de/entity/Q5457389	2008-04-14	Paper
Weak and strong theories of truth	2002-01-08	Paper
Forbidden subgraphs of graphs uniquely Hamiltonian-connected from a vertex	2000-11-02	Paper
Induction the Hard Way	1998-12-07	Paper
https://portal.mardi4nfdi.de/entity/Q4873813	1996-04-22	Paper
A guide to truth predicates in the modern era	1995-05-01	Paper
Elementary descent recursion and proof theory	1995-02-09	Paper
On the structure of graphs uniquely hamiltonian-connected from a vertex	1991-01-01	Paper
The minimum size of graphs Hamiltonian-connected from a vertex	1989-01-01	Paper
The equivalence of the disjunction and existence properties for modal arithmetic	1989-01-01	Paper
The disjunction and existence properties for axiomatic systems of truth	1988-01-01	Paper
An axiomatic approach to self-referential truth	1987-01-01	Paper
Best monotone approximations in \(L_ 1[0,1]\)	1986-01-01	Paper
Co-critical points of elementary embeddings	1985-01-01	Paper
Indecomposable ultrafilters over small large cardinals	1983-01-01	Paper

This page was built for person: Michael Sheard