1 paper · 1 filter
Matthias Eberl
We present a dynamic model theory that avoids the paradoxes stemming from completed infinities, but does not require any translation of formulae. The main adoption is the replaceme…