scientific article
From MaRDI portal
Publication:3952086
zbMath0491.03013MaRDI QIDQ3952086
Alfred B. Manaster, Jeffery B. Remmel
Publication date: 1981
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
recursive presentationsrecursively presented modeldense two dimensional partial orderingsrecursive dense subset
Models of other mathematical theories (03C65) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Categoricity and completeness of theories (03C35)
Related Items