scientific article; zbMATH DE number 1230613
From MaRDI portal
Publication:4222594
zbMath0920.03069MaRDI QIDQ4222594
Teresa Bigorajska, James H. Schmerl, Henryk Kotlarski
Publication date: 31 August 1999
Full work available at URL: https://eudml.org/doc/212307
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
models of Peano arithmeticstabilizersintersticescountable arithmetically saturated modelsselective types
Related Items (3)
Constant regions in models of arithmetic ⋮ Interstitial and pseudo gaps in models of Peano Arithmetic ⋮ Decoding in the automorphism group of a recursively saturated model of arithmetic
This page was built for publication: