On Interstices of Countable Arithmetically Saturated Models of Peano Arithmetic

From MaRDI portal
Publication:4366132