James Walsh

I am a student in the Group in Logic at UC Berkeley. I have an Sc.B. from Brown University. My research is in mathematical logic and the foundations of mathematics.

I am not currently teaching. Next semester I will be an instructor for Proof Theory.

Papers & Preprints

• Articulating absolute generality
  Under review
• Incompleteness and jump hierarchies, with Patrick Lutz
  Under review [arXiv]
• Epistemic aspects of consistency proofs
  Under review
• Reflection ranks and ordinal analysis, with Fedor Pakhomov
  Revise and resubmit [arXiv]
• A note on the consistency operator
  Proceedings of the AMS, accepted [arXiv]
• On the inevitability of the consistency operator, with Antonio Montalbán
  Journal of Symbolic Logic, 84(1):205--225, 2019 [published version | arXiv]
• Usable security as a static-analysis problem, with Kathi Fisler, Shriram Krishnamurthi, Hannah Quay-de la Vallee, William Zimrin
  ACM Proceedings Series, Onward 2013 1--16, 2013 [published version]

Recent Talks

• Semantic reflection and iterated syntactic reflection
  ASL North American Meeting, City University of New York, May, 2019
• Navigating the consistency strength hierarchy
  Mathematics in Practice, Stanford University, May, 2019
• Hierarchies of proof-theoretic strength
  Graduate Conference in Logic, University of Illinois, Chicago, April, 2019
• Hierarchies of proof-theoretic strength
  Logic and Foundations of Mathematics Seminar, Stanford University, April, 2019
• Articulating absolute generality
  APA Central Division Meeting, Denver, CO, February, 2019
• Articulating absolute generality
  Graduate Research Colloquium, University of California, Berkeley, December, 2018
• On the inevitability of the consistency operator
  Logic Seminar, University of Pennsylvania, November, 2018
• Reflection ranks and ordinal analysis
  Computational Logic Seminar, City University of New York, November, 2018
• Epistemic aspects of consistency proofs
  Midwest Philosophy of Mathematics Workshop, University of Notre Dame, October, 2018
• Reflection ranks and ordinal analysis
  ASL North American Meeting, Western Illinois University, May, 2018
• On the inevitability of the consistency operator
  Proof Theory Seminar, Steklov Institute of Mathematics, March, 2018
• Hierarchies of proof-theoretic strength
  Operations, Sets, and Types III, University of Bern, March, 2018
• Hierarchies of proof-theoretic strength
  South-Eastern Logic Symposium, University of Florida, February, 2018
• Epistemic aspects of consistency proofs
  Workshop on the Philosophy of Mathematical Reasoning, Stanford University, February, 2018
• Epistemic aspects of consistency proofs
  APA Eastern Division Meeting, Savannah, GA, January, 2018
• On the inevitability of the consistency operator
  International Workshop on Proof Theory, Modal Logic, and Reflection Principles, Steklov Institute of Mathematics, October, 2017
• On the inevitability of the consistency operator
  ASL Logic Colloquium, Stockholm University, August, 2017
• Epistemic aspects of consistency proofs
  CSLI Workshop on Logic, Rationality, and Intelligent Interaction, Stanford University, May, 2016