Computability and Categoricity of Ultrahomogeneous Structures

DOI10.1007/978-3-319-08019-2_1zbMath1433.03082OpenAlexW1041280431MaRDI QIDQ5175872

Francis Adams, Douglas Cenzer

Publication date: 25 February 2015

Published in: Language, Life, Limits (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-08019-2_1

zbMATH Keywords

computability theorycomputable model theoryinjectionseffective categoricityultrahomogeneous

Mathematics Subject Classification ID

Models with special properties (saturated, rigid, etc.) (03C50) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Categoricity and completeness of theories (03C35)

This page was built for publication: Computability and Categoricity of Ultrahomogeneous Structures