The Blurred Drinker Paradox: Constructive Reverse Mathematics of the Downward Lwenheim-Skolem Theorem.

Dominik Kirst, Haoyi Zeng

Browse the full LICS paper archive.