Effective identification in the limit of first order structures and creative sets

MaRDI QIDQ2735821zbMATH OpenFDO

Authors Antônio M. N. Coelho

Publication date 4 September 2001

Published in Logique et Analyse. Nouvelle Série (Search for Journal in Brave)

zbMATH Keywords

creative setseffective identificationfirst-order structuresnon-decidable structures

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57)

Recommendations

• Identification in the limit of first order structures
• On computably enumerable structures
• On a property of creative sets
• scientific article; zbMATH DE number 3970739
• scientific article; zbMATH DE number 806750

This page was built for publication: Effective identification in the limit of first order structures and creative sets

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