Locally Computable Structures

DOI10.1007/978-3-540-73001-9_60zbMath1142.03361OpenAlexW1529321085MaRDI QIDQ5425360

Russell G. Miller

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_60

zbMATH Keywords

computabilitycomputable model theoryextensionallocally computableperfectly locally computable

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Abstract and axiomatic computability and recursion theory (03D75)

Related Items (3)

UNIFORM PROCEDURES IN UNCOUNTABLE STRUCTURES ⋮ Perfect Local Computability and Computable Simulations ⋮ Perfect Local Computability of Superatomic Boolean Algebras

This page was built for publication: Locally Computable Structures