Michael Sheard

From MaRDI portal


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 partitions
 
2015-07-09Paper
Backwards Induction and a Formula of Ramanujan
Mathematics Magazine
2013-11-06Paper
A transactional approach to the logic of truth
 
2008-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 Way
 
1998-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