Benedict Eastaugh

From MaRDI portal
Person:1680522

Available identifiers

zbMath Open eastaugh.benedictMaRDI QIDQ1680522

List of research outcomes





PublicationDate of PublicationType
Arrow's theorem, ultrafilters, and reverse mathematics2023-06-10Paper
John Stillwell*Reverse Mathematics: Proofs from the Inside Out2020-09-30Paper
Set existence principles and closure conditions: unravelling the standard view of reverse mathematics2019-07-12Paper
Computational reverse mathematics and foundational analysis2018-07-26Paper
Tarski2018-02-23Paper
Book review of: D. R. Hirschfeldt, Slicing the truth. On the computable and reverse mathematics of combinatorial principles2017-11-16Paper

Research outcomes over time

This page was built for person: Benedict Eastaugh

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1680522&oldid=6320721"
Powered by MediaWiki