James Walsh
Office: 745 Evans Hall
Email:
walsh@math.berkeley.edu
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