Developing continuity theory in a formal predicative set theory

Arnon Avron, Nissan Levi. Developing continuity theory in a formal predicative set theory. Logic Journal of the IGPL, 34(4), 2026. [doi]

Abstract

Abstract is missing.