Title: Developing a library of formalized mathematics from a univalent point of view Abstract: The agda-unimath project started in November 2021, at a meeting called Univalent Foundations for Daily Applications. […]
Title: Finite time explosion for SPDEs Abstract: The classical existence and uniqueness theorems for SPDEs prove that, under appropriate assumptions, SPDEs with globally Lipschitz continuous forcing terms have unique global […]
Title: Cantor Dynamical Systems, Bratteli Diagrams, and Their Associated Full GroupsAbstract: If a countable group G acts on a Cantor set X, one can enlarge G to a (still countable) […]