Sketches for arithmetic universes

Steven Vickers. Sketches for arithmetic universes. J. Logic & Analysis, 11, 2019. [doi]

Abstract

Abstract is missing.