Available identifiers
zbMath Open walsh.sean MaRDI QID Q300833
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 2019-10-28 Paper Philosophy and model theory 2018-04-05 Paper The prehistory of the subsystems of second-order arithmetic 2017-07-06 Paper Realizability semantics for quantified modal logic: generalizing Flagg's 1985 construction 2017-05-31 Paper The strength of abstraction with predicative comprehension 2017-05-26 Paper Definability aspects of the Denjoy integral 2017-03-08 Paper Structure and categoricity: determinacy of reference and truth value in the philosophy of mathematics 2017-03-03 Paper FRAGMENTS OF FREGE’SGRUNDGESETZE AND GÖDEL’S CONSTRUCTIBLE UNIVERSE 2016-08-19 Paper Predicativity, the Russell-Myhill paradox, and Church's intensional logic 2016-06-29 Paper RELATIVE CATEGORICITY AND ABSTRACTION PRINCIPLES 2015-10-20 Paper Logicism, interpretability, and knowledge of arithmetic 2015-01-21 Paper Empiricism, probability, and knowledge of arithmetic: a preliminary defense 2014-07-07 Paper Comparing Peano arithmetic, Basic Law V, and Hume's Principle 2012-09-26 Paper Algorithmic Randomness, Effective Disintegrations, and Rates of Convergence to the Truth N/A Paper
Research outcomes over time
This page was built for person: Sean Walsh