Sean Walsh

MaRDI QIDQ300833zbMATH OpenFDO

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!

Publication	Date of Publication	Type
The Mathematics of Quantum-Enabled Applications on the D-Wave Quantum Computer Notices of the American Mathematical Society	2019-10-28	Paper
Philosophy and model theory	2018-04-05	Paper
The prehistory of the subsystems of second-order arithmetic The Review of Symbolic Logic	2017-07-06	Paper
Realizability semantics for quantified modal logic: generalizing Flagg's 1985 construction The Review of Symbolic Logic	2017-05-31	Paper
The strength of abstraction with predicative comprehension The Bulletin of Symbolic Logic	2017-05-26	Paper
Definability aspects of the Denjoy integral Fundamenta Mathematicae	2017-03-08	Paper
Structure and categoricity: determinacy of reference and truth value in the philosophy of mathematics Philosophia Mathematica	2017-03-03	Paper
Structure and categoricity: determinacy of reference and truth value in the philosophy of mathematics Philosophia Mathematica	2017-03-03	Paper
FRAGMENTS OF FREGE’SGRUNDGESETZEAND GÖDEL’S CONSTRUCTIBLE UNIVERSE Journal of Symbolic Logic	2016-08-19	Paper
Predicativity, the Russell-Myhill paradox, and Church's intensional logic Journal of Philosophical Logic	2016-06-29	Paper
RELATIVE CATEGORICITY AND ABSTRACTION PRINCIPLES The Review of Symbolic Logic	2015-10-20	Paper
Logicism, interpretability, and knowledge of arithmetic The Review of Symbolic Logic	2015-01-21	Paper
Empiricism, probability, and knowledge of arithmetic: a preliminary defense Journal of Applied Logic	2014-07-07	Paper
Comparing Peano arithmetic, Basic Law V, and Hume's Principle Annals of Pure and Applied Logic	2012-09-26	Paper
Algorithmic Randomness, Effective Disintegrations, and Rates of Convergence to the Truth (available as arXiv preprint)	N/A	Paper

Research outcomes over time

This page was built for person: Sean Walsh