scientific article
From MaRDI portal
Publication:3337461
zbMath0546.03025MaRDI QIDQ3337461
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
constructive modelsrecursive isomorphismsatisfaction predicater.e. sets of formulaerecursively enumerable model
Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)
Related Items (4)
Recursion theory and ordered groups ⋮ Algorithmic relationships of relations \(S_{\mathcal{L}}^n\) on linear orders ⋮ Recursive Linear Orders with Incomplete Successivities ⋮ Computable linear orders and the ershov hierarchy
This page was built for publication:
