pith. sign in

Sean Walsh

Identifiers

  • name variant Sean Walsh 0.60 · backfill

Papers (11)

  1. Improving 3D Object Detection for Pedestrians with Virtual Multi-View Synthesis Orientation Estimation cs.CV · 2019 · author #3
  2. Leveraging Pre-Trained 3D Object Detection Models For Fast Ground Truth Generation cs.LG · 2018 · author #2
  3. The Prehistory of the Subsystems of Second-Order Arithmetic math.HO · 2016 · author #2
  4. Definability Aspects of the Denjoy Integral math.LO · 2016 · author #1
  5. Realizability Semantics for Quantified Modal Logic: Generalizing Flagg's 1985 Construction math.LO · 2015 · author #2
  6. Predicativity, the Russell-Myhill Paradox, and Church's Intensional Logic math.LO · 2015 · author #1
  7. Structure and Categoricity: Determinacy of Reference and Truth-Value in the Philosophy of Mathematics math.HO · 2015 · author #2
  8. Relative Categoricity and Abstraction Principles math.LO · 2014 · author #1
  9. Fragments of Frege's Grundgesetze and G\"odel's Constructible Universe math.LO · 2014 · author #1
  10. The Strength of Abstraction with Predicative Comprehension math.LO · 2014 · author #1
  11. Comparing Hume's Principle, Basic Law V and Peano Arithmetic math.LO · 2014 · author #1

Mentions

  • 1510.01977 #2 · backfill · confidence 0.70 Sean Walsh
  • 1506.02206 #1 · backfill · confidence 0.70 Sean Walsh
  • 1501.00472 #2 · backfill · confidence 0.70 Sean Walsh
  • 1409.3483 #1 · backfill · confidence 0.70 Sean Walsh
  • 1407.3861 #1 · backfill · confidence 0.70 Sean Walsh
  • 1407.3860 #1 · backfill · confidence 0.70 Sean Walsh
  • 1407.0436 #1 · backfill · confidence 0.70 Sean Walsh

Frequent Coauthors