Michael Sheard

From MaRDI portal
(Redirected from Person:221566)



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Erdős-Szekeres results for set partitions2015-07-09Paper
Backwards Induction and a Formula of Ramanujan
Mathematics Magazine
2013-11-06Paper
A transactional approach to the logic of truth2008-04-14Paper
Weak and strong theories of truth
Studia Logica
2002-01-08Paper
Forbidden subgraphs of graphs uniquely Hamiltonian-connected from a vertex
Discrete Mathematics
2000-11-02Paper
Induction the Hard Way1998-12-07Paper
scientific article; zbMATH DE number 867696 (Why is no real title available?)1996-04-22Paper
A guide to truth predicates in the modern era
Journal of Symbolic Logic
1995-05-01Paper
Elementary descent recursion and proof theory
Annals of Pure and Applied Logic
1995-02-09Paper
On the structure of graphs uniquely hamiltonian-connected from a vertex
Discrete Mathematics
1991-01-01Paper
The minimum size of graphs Hamiltonian-connected from a vertex
Discrete Mathematics
1989-01-01Paper
The equivalence of the disjunction and existence properties for modal arithmetic
Journal of Symbolic Logic
1989-01-01Paper
The disjunction and existence properties for axiomatic systems of truth
Annals of Pure and Applied Logic
1988-01-01Paper
An axiomatic approach to self-referential truth
Annals of Pure and Applied Logic
1987-01-01Paper
Best monotone approximations in \(L_ 1[0,1\)]
Journal of Approximation Theory
1986-01-01Paper
Co-critical points of elementary embeddings
Journal of Symbolic Logic
1985-01-01Paper
Indecomposable ultrafilters over small large cardinals
Journal of Symbolic Logic
1983-01-01Paper


Research outcomes over time


This page was built for person: Michael Sheard