"Elementarity of Subgroups and Complexity of Theories for Profinite Groups"
Accepted to appear in Computability (ISSN 2211-3568). PDF available here
"Complexities of Theories of Profinite Subgroups of S_omega via Tree Presentations"
Appears in Twenty Years of Theoretical and Practical Synergies, CiE 2024. Lecture Notes in ComputerScience 14773, 366-376 (2024). PDF available here
"Computability Theoretic Aspects of Profinite Groups and Models of Presburger Arithmetic"
My PhD dissertation. PDF available here
Title TBD
- (Upcoming) November 13th, 2025. Invited talk for the Online Logic Seminar.
Title TBD
- (Upcoming) October 18/19th, 2025. Invited talk for the special session on computability at the AMS Fall central sectional meeting in St. Louis, MO.
"Computing Skolem Functions and the Complexities of Sets in the p-adic Integers"
- April 6th, 2025. Invited talk for the special session on computability at the AMS sectional meeting in Hartford, CT. Slides available here
"Computability Theoretic Aspects of Profinite Groups"
- March 1st, 2025. Invited talk for the South Eastern Logic Symposium at the University of Florida in Gainesville, FL. Slides available here
"Elementarity of Subgroups and Complexity of Theories for Profinite Groups"
- December 10th, 2024. Invited talk for the University of Notre Dame Logic Seminar in South Bend, IN. Slides available here
- October 21st, 2024. Invited talk for the Rutgers Logic Seminar at Rutgers University in New Brunswick, NJ.
- October 15th, 2024 . Invited talk for the Connecticut Logic Seminar at UConn in Storrs, CT.
“Elementarity of Subgroups of Profinite Groups via Tree Presentations”
- November 17th, 2024. Invited talk given for the New England Recursion and Definability Seminar at Dartmouth College in Hanover, NH.
“Elementarity of Subgroups and Complexity of Theories of Profinite Subgroups of S_omega via Tree Presentations”
- July 16th, 2024. Invited talk for Computable Structure Theory and Interactions meeting at Technische Universität Wien in Austria.
“Complexities of Theories of Profinite Subgroups of S_omega via Tree Presentations”
- July 10th, 2024. Accepted paper presentation at the Computability in Europe meeting in Amsterdam, Netherlands.
- June 12th, 2024. Invited talk for the conference Groups, Logic and Computation at the Steven's Institute in Hoboken, NJ.
“Elementarity of Subgroups of Profinite Permutation Groups via Tree Presentations”
- April 21st, 2024. Invited talk given in the special session on computability at the AMS sectional meeting at the University of Wisconsin. Milwaukee.
“Measuring the Complexity of Isomorphisms Between Countable Structures”
- January 14th, 2023. Invited talk (given over zoom) for World Logic Day at the University of Zagreb in Croatia. Slides available here
“Categoricity Ordinals and Models of Presburger Arithmetic”
- July 1st, 2022. Contributed talk at the Association for Symbolic Logic Summer Meeting in Reykjavik, Iceland. Slides available here
- December 11th, 2021. Invited talk (given over zoom) for the New England Recursion and Definability Seminar at Wellesley College.