Index Sets of Computable Structures with Decidable Theories

DOI10.1007/978-3-540-73001-9_30zbMath1150.03313OpenAlexW1779906604MaRDI QIDQ5425330

Ekaterina B. Fokina

Publication date: 13 November 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-73001-9_30

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57)

Related Items (2)

Index sets for some classes of structures ⋮ The complexity of countable categoricity in finite languages

This page was built for publication: Index Sets of Computable Structures with Decidable Theories