scientific article

zbMath0735.03026MaRDI QIDQ3981829

Jiří Sgall, A. Sochor

Publication date: 26 June 1992

Full work available at URL: https://eudml.org/doc/118175

File on IPFS

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

nonstandard models of arithmeticalternative set theoryrevealmentequivalences of indiscernibilitytransfinite constructionsfully revealed automorphismsrecursively saturated countable models of PA

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Nonstandard models of arithmetic (03H15)

Related Items (2)

Automorphism groups of models of Peano arithmetic ⋮ Automorphism groups of arithmetically saturated models

This page was built for publication: