Linda Brown Westrick
|Postdoctoral Fellow |
|Department of Mathematics|
|Email: westrick at uconn dot edu|
Computability theory, especially interactions with symbolic dynamics, combinatorics, and effective descriptive set theory.
Papers and Preprints
- N. Greenberg, D. Turetsky, and L.B. Westrick. ``Finding bases of uncountable free abelian groups is usually difficult'' (submitted). (PDF)
- L.B. Westrick. ``Seas of squares with sizes from a Pi^0_1 set'' (to appear). Israel Journal of Mathematics. (PDF, arXiv: 1609.07411)
- D. Dzhafarov, C. Jockusch, R. Solomon, and L.B. Westrick.
``Effectiveness of Hindman's theorem for bounded sums'' (to appear). Festschrift volume in honor of Rod Downey's 60th birthday. (PDF, arXiv: 1603.08249)
- D. Dzhafarov, L. Patey, R. Solomon, and L.B. Westrick. ``Ramsey's theorem for singletons and strong computable reducibility'' (to appear). Proceedings of the AMS. (PDF, arXiv: 1602.04481)
- L.B. Westrick. ``A lightface analysis of the differentiability rank'' (2015). Journal of Symbolic Logic. (PDF, arXiv: 1302.2975)
- My thesis, Computability in Ordinal Ranks and Symbolic
Dynamics, was completed in May 2014 under Theodore Slaman. It contains additional work on the hierarchy of Denjoy
integrable functions, as well as a number of results on
subshifts. Feel free to email me for a copy of the thesis; its
content will appear soon in preprint form.
Papers in Preparation
- D. Dzhafarov, S. Flood, R. Solomon, and L.B. Westrick. ``Effectiveness for the Dual Ramsey Theorem.''
- N. Greenberg, J. Miller, A. Shen, and L.B. Westrick. ``Dimension 1 sequences are close to randoms.''
Upcoming Invited Talks
- ASL Invited Address at the ASL Winter Meeting, JMM, Atlanta.
- AMS Eastern Sectional Meeting, Special Session on Computability
Theory: Pushing the Boundaries, Hunter College, New York City. May
- Asian Logic Conference, Special Session on Computability,
Daejeon, Korea. July 2017.
Selected Past Invited Talks
- AMS Central Sectional Meeting, Special Session on Effective Mathematics in Discrete and Continuous Worlds, University of St. Thomas, Minneapolis. October 29-30, 2016.
- Midwestern Computability Seminar in honor of Carl Jockusch's 75th
Birthday, University of Chicago, October 2016. (Slides: Dimension 1 sequences are close to randoms)
- Conference on Computability, Complexity, and Randomness,
University of Hawaii at Manoa. January 2016. (Slides: Seas of squares with sizes from a Pi^0_1
- ASL North American Annual Meeting, Special Session on
Computability, University of Illinois at Urbana-Champaign. March
2015. (Slides: Comparing subshifts in Z and Z^2)
- SouthEAstern Logic Symposium (SEALS), University of Florida,
Gainesville. February 2015. (Slides: The Dual Ramsey theorem and the
property of Baire)
- Canadian Mathematical Society Winter Meeting, Hamilton, Ontario. December 2014.
- Workshop on
Computability Theory, Prague. July 2014. (Slides: Entropy and other subshift invariants)
- AMS Central Sectional Meeting, Special Session on Computability
Across Mathematics, Washington University, St. Louis. October 2013. (Slides: A lightface analysis of the
This semester (Spring 2017) I teach Math 2710 and