Computability and categoricity of weakly ultrahomogeneous structures

DOI10.3233/COM-170070zbMath1420.03069arXiv1608.01254MaRDI QIDQ4601031

Douglas Cenzer, Francis Adams

Publication date: 18 January 2018

Published in: Computability (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1608.01254

zbMATH Keywords

computability; computable model theory; injections; ultrahomogeneous structures; effective categoricity

Mathematics Subject Classification ID

03C50: Models with special properties (saturated, rigid, etc.)

03C57: Computable structure theory, computable model theory

03D45: Theory of numerations, effectively presented structures

03C35: Categoricity and completeness of theories