Find me on GitHub! keystonerose, as ever.
In the desert
I saw a creature, naked, bestial,
Who, squatting upon the ground,
Held his heart in his hands,
And ate of it.
I said, “Is it good, friend?”
“It is bitter—bitter,” he answered;
“But I like it
“Because it is bitter,
“And because it is my heart.”
Stephen Crane, In the Desert
Constructive Reverse Mathematics Overview Diagram
My thesis included an expository diagram depicting some of the key relationships that hold between common properties of constructive reverse mathematics; that diagram is reproduced as a stand-alone document here in the hopes that it may be useful as a reference.
Publications
- James E. Dent, Anti-Specker properties in constructive reverse mathematics, Ph.D. thesis, University of Canterbury, 2013.
- Douglas Bridges, James Dent, and Maarten McKubre-Jordens, Constructive connections between anti-Specker, positivity, and fan-theoretic properties, New Zealand Journal of Mathematics 44 (2014), 21-33.
- Douglas S. Bridges, James Dent, and Maarten McKubre-Jordens, Two direct proofs that LLPO implies the detachable fan theorem, Logic Journal of the IGPL 21 (2013), no. 5, 830-835.