@inproceedings{Kirst_2025,
    title = {The Blurred Drinker Paradox: Constructive Reverse Mathematics of the Downward Löwenheim-Skolem Theorem},
    url = {http://dx.doi.org/10.1109/lics65433.2025.00073},
    doi = {10.1109/lics65433.2025.00073},
    booktitle = {2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)},
    publisher = {IEEE},
    author = {Kirst, Dominik and Zeng, Haoyi},
    year = {2025},
    month = {jun},
    pages = {926--940},
    date-added = {2026-1-15 14:12:50 +0100}
}

@inproceedings{Kirst_2025, title = {The Blurred Drinker Paradox: Constructive Reverse Mathematics of the Downward Löwenheim-Skolem Theorem}, url = {http://dx.doi.org/10.1109/lics65433.2025.00073}, doi = {10.1109/lics65433.2025.00073}, booktitle = {2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)}, publisher = {IEEE}, author = {Kirst, Dominik and Zeng, Haoyi}, year = {2025}, month = {jun}, pages = {926--940}, date-added = {2026-1-15 14:12:50 +0100} }