Buscar
Mostrando ítems 1-2 de 2
Artículo
Dynamic consequence and public announcement
(Cambridge University Press, 2013)
Artículo
A Note on Σ₁-Maximal Models
(Association for Symbolic Logic, 2007)
Let T be a recursive theory in the language of first order Arithmetic. We prove that if T extends: (a) the scheme of parameter free Δ₁-minimization (plus exp), or (b) the scheme of parameter free Π₁-induction, then there ...