Sean Walsh

Available identifiers

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’SGRUNDGESETZEAND 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

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Sean Walsh