scientific article; zbMATH DE number 3869317

MaRDI QIDQ3337461zbMATH OpenFDO

Authors Michael Moses

Publication date 1983

zbMATH Keywords

constructive modelsr.e. sets of formulaerecursive isomorphismrecursively enumerable modelsatisfaction predicate

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

Recommendations

• Recursive properties of isomorphism types
• The property ``arithmetic-is-recursive on a cone
• Handbook of recursive mathematics. Vol. 1: Recursive model theory
• Inseparability in recursive copies
• Automorphism groups of decidable models

Cited in

(11)

• Recursion theory and ordered groups
• Computable linear orders and the ershov hierarchy
• Algorithmic relationships of relations \(S_{\mathcal{L}}^n\) on linear orders
• Isomorphisms of types in the presence of higher-order references
• Isomorphism of "Functional" Intersection Types
• Recursive properties of isomorphism types
• A short survey of isomorphisms of types
• Recursive Linear Orders with Incomplete Successivities
• scientific article; zbMATH DE number 1302872 (Why is no real title available?)
• The property ``arithmetic-is-recursive on a cone
• Types of resemblance and of recursive isomorphism of partial recursive functions

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3337461)