The following pages link to Michael Sheard (Q221566):
Displaying 17 items.
- Best monotone approximations in \(L_ 1[0,1]\) (Q1080102) (← links)
- An axiomatic approach to self-referential truth (Q1096626) (← links)
- The disjunction and existence properties for axiomatic systems of truth (Q1118582) (← links)
- The minimum size of graphs Hamiltonian-connected from a vertex (Q1119940) (← links)
- Elementary descent recursion and proof theory (Q1344279) (← links)
- Forbidden subgraphs of graphs uniquely Hamiltonian-connected from a vertex (Q1584311) (← links)
- On the structure of graphs uniquely hamiltonian-connected from a vertex (Q2639074) (← links)
- Backwards Induction and a Formula of Ramanujan (Q2859029) (← links)
- Indecomposable ultrafilters over small large cardinals (Q3342562) (← links)
- The equivalence of the disjunction and existence properties for modal arithmetic (Q3486545) (← links)
- Induction the Hard Way (Q4222474) (← links)
- A guide to truth predicates in the modern era (Q4314690) (← links)
- Co-critical points of elementary embeddings (Q4726242) (← links)
- (Q4873813) (← links)
- (Q5262048) (← links)
- (Q5457389) (← links)
- Weak and strong theories of truth (Q5951913) (← links)