scientific article
From MaRDI portal
Publication:3988261
zbMath0746.03031MaRDI QIDQ3988261
Publication date: 28 June 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
surveyPeano arithmeticmodels of arithmeticScott setsPresburger arithmeticsatisfaction classesrecursively saturated modelsclassification of isomorphism typesexpandability of modelsideals of Turing degrees
This page was built for publication: