AMS :: 2025 Spring Western Sectional Meeting, AMS Special Session

AMS Sectional Meeting AMS Special Session

Current as of Sunday, May 11, 2025 03:30:05

Saturday May 3, 2025, 8:30 a.m.-11:00 a.m.
Special Session on Logic and Analysis, I
Room 204, Mathematics & Science (Building 38)
Organizers:
Bjoern Kjos-Hanssen, University of Hawaii at Manoa bjoernkh@hawaii.edu
David A. Ross, Department of Mathematics, University of Hawaii, Honolulu, HI 96822
- 8:30 a.m.
  Complexity of oracles for packing dimension
  Patrick Lutz*, University of California, Berkeley
  (1207-03-48791)
- 9:00 a.m.
  Computable K-theory for UHF algebras I: Generalities
  Christopher J. Eagle, University of Victoria
  Isaac Goldbring*, University of California, Irvine
  Timothy H McNicholl, Department of Mathematics, Iowa State University
  Russell G Miller, Queens College & CUNY Graduate Center
  (1207-03-48490)
- 9:30 a.m.
  Computable K-theory for C*-algebras II: UHF algebras
  Timothy H McNicholl*, Department of Mathematics, Iowa State University
  Christopher J. Eagle, University of Victoria
  Isaac Goldbring, University of California, Irvine
  Russell G Miller, Queens College & CUNY Graduate Center
  (1207-03-48585)
- 10:00 a.m.
  On some topological aspects of probabilistic complexity
  Kenny Gill*, La Salle University
  (1207-03-48643)
- 10:30 a.m.
  Complexity of Finite Borel Asymptotic Dimension
  Cecelia Higgins*, University of California, Los Angeles
  Jan Grebík, Masaryk University
  (1207-03-48800)

Saturday May 3, 2025, 3:00 p.m.-6:00 p.m.
Special Session on Logic and Analysis, II
Room 204, Mathematics & Science (Building 38)
Organizers:
Bjoern Kjos-Hanssen, University of Hawaii at Manoa bjoernkh@hawaii.edu
David A. Ross, Department of Mathematics, University of Hawaii, Honolulu, HI 96822
- 3:00 p.m.
  Infinitesimals inside the Familiar Field of Complex Numbers
  Todor Dimitrov Todorov*, Emeritus of California Polytechnic State University, San Luis Obispo, CA-93407, USA
  (1207-12-48486)
- 3:30 p.m.
  Internally iterated ultrapowers and indiscernible levels of standardness.
  Karel Hrbacek*, City College of CUNY
  (1207-03-48636)
- 4:00 p.m.
  Marginis: Formal Marginalia for Mathematics and Computer Science
  Janani Lakshmanan*, University of Hawaii at Manoa
  (1207-03-48864)
- 4:30 p.m.
  Introenumerability, autoreducibility, and randomness
  Ang Li*, University of Wisconsin--Madison
  (1207-03-48639)
- 5:00 p.m.
  Reductions between equivalence relations: descriptive vs. effective
  Meng-Che "Turbo" Ho, California State University, Northridge
  Stephen C Jackson, University of North Texas
  Steffen Lempp, University of Wisconsin-Madison
  Russell G Miller, Queens College & CUNY Graduate Center
  Noah Schweber*, Proof School
  (1207-03-48774)

Sunday May 4, 2025, 8:30 a.m.-11:00 a.m.
Special Session on Logic and Analysis, III
Room 204, Mathematics & Science (Building 38)
Organizers:
Bjoern Kjos-Hanssen, University of Hawaii at Manoa bjoernkh@hawaii.edu
David A. Ross, Department of Mathematics, University of Hawaii, Honolulu, HI 96822
- 8:30 a.m.
  Finding subsets of positive measure
  Jan Reimann*, Pennsylvania State University
  (1207-03-48819)
- 9:00 a.m.
  Locally checkable labeling problems in the Borel hierarchy
  Felix Weilacher*, UC Berkeley
  (1207-03-48758)
- 9:30 a.m.
  Computer-redable formalization of analysis in Mathlib
  Yury G. Kudryashov*, Harmonic
  (1207-03-48867)
- 10:00 a.m.
  Normality, Relativization, and Randomness
  Wesley Calvert*, Southern Illinois University
  Emma Elizabeth Gruner, Penn State University
  Elvira Mayordomo, Universidad de Zaragoza
  Java Villano, University of Connecticut
  Daniel Turetsky, Victoria University of Wellington
  (1207-03-48838)
- 10:30 a.m.
  Quantifier Variations in Solovay Reducibility
  Kenshi Miyabe*, Meiji University
  (1207-03-48620)

Sunday May 4, 2025, 2:30 p.m.-5:00 p.m.
Special Session on Logic and Analysis, IV
Room 204, Mathematics & Science (Building 38)
Organizers:
Bjoern Kjos-Hanssen, University of Hawaii at Manoa bjoernkh@hawaii.edu
David A. Ross, Department of Mathematics, University of Hawaii, Honolulu, HI 96822
- 2:30 p.m.
  Isomorphism problems as equivalence relations
  Meng-Che Ho*, California State University, Northridge
  Martin Ritter, Vienna University of Technology
  Luca San Mauro, University of Bari
  (1207-03-48810)
- 3:00 p.m.
  Iterated nonstandard extensions of the natural numbers: foundations and applications in Ramsey Theory
  Mauro Di Nasso*, University of Pisa, Italy
  (1207-03-48670)
- 3:30 p.m.
  Semi-retractions and pre-adjunctions
  Lynn Scow*, California State University, San Bernardino
  Dana Bartosova, University of Florida
  (1207-03-48688)
- 4:00 p.m.
  Hyperfiniteness of graphs of slow intermediate growth
  Jan Grebík, Masaryk University
  Andrew Marks, University of California, Berkeley
  Forte Shinko*, University of California, Berkeley
  Václav Rozhoň, Charles University
  (1207-03-48729)