Work

The Blurred Drinker Paradox: Constructive Reverse Mathematics of the Downward Löwenheim-Skolem Theorem

Year: 2025

Type: conference-paper

Source: Proceedings - Symposium on Logic in Computer Science

DOI: 10.1109/lics65433.2025.00073

Authors: Dominik Kirst, Haoyi Zeng

Institutions: Ben-Gurion University of the Negev, Saarland University

Language: English

Topic: Advanced Topology and Set Theory

Subfield: Geometry and Topology

Field: Mathematics

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4415004160

FWCI:

Cites:

Cited by:

Related to: