scientific article

zbMath0503.03033MaRDI QIDQ3968927

Craig Smorynski

Publication date: 1982

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

zbMATH Keywords

back-and-forthcountable recursively saturated model of arithmetic

Mathematics Subject Classification ID

Nonstandard models of arithmetic (03H15) Recursively (computably) enumerable sets and degrees (03D25) Second- and higher-order arithmetic and fragments (03F35)

Related Items (9)

Automorphisms of models of true arithmetic: Recognizing some basic open subgroups ⋮ AUTOMORPHISM GROUPS OF SATURATED MODELS OF PEANO ARITHMETIC ⋮ Automorphisms of models of arithmetic: a unified view ⋮ Automorphisms of countable recursively saturated models of PA: A survey ⋮ Infinitary definitions of equivalence relations in models of PA ⋮ Fixed points of self-embeddings of models of arithmetic ⋮ Automorphisms of recursively saturated models of arithmetic ⋮ Largest initial segments pointwise fixed by automorphisms of models of set theory ⋮ Rosser and Mostowski sentences

This page was built for publication: