Thursday, October 9, 2025 - 11:00 to 12:00
Zoom link: https://pitt.zoom.us/j/93057796857 (meeting id 930 5779 6857)
Abstract or Additional Information
Let M be a subset of the real line. Then a real valued function f on M is discontinuous if and only if there is a sequence (x_n)_n on M converging to some x in M for which (f(x_n))_n does not converge to f(x).
* What is the minimum size of a family of convergent sequences on M which witness discontinuity of every discontinuous function on M?
Equivalently, what is the minimum size of a family of convergent sequences on M generating the topology of M? Applying ideas from the Tukey theory for relations, and Shelah's PCF theory we (largely) answer this question, and the related one on the minimum size of a family of compact subsets generating the topology.