3 papers
math.LO2025
Continuity in Potential Infinite Models
Matthias Eberl
We introduce a model of simple type theory with potential infinite carrier sets. The functions in this model are automatically continuous, as defined in this paper. This notion of…
cs.LO2024
A Reflection Principle for Potential Infinite Models of Type Theory
Matthias Eberl
Denotational models of type theory, such as set-theoretic, domain-theoretic, or category-theoretic models use (actual) infinite sets of objects in one way or another. The potential…
math.LO2022
A Model Theory for the Potential Infinite
Matthias Eberl
We present the model theoretic concepts that allow mathematics to be developed with the notion of the potential infinite instead of the actual infinite. The potential infinite is u…