Computability and categoricity of weakly ultrahomogeneous structures
From MaRDI portal
Publication:4601031
DOI10.3233/COM-170070zbMath1420.03069arXiv1608.01254MaRDI QIDQ4601031
Publication date: 18 January 2018
Published in: Computability (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1608.01254
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)