1 paper
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…