Isomorphism and classification for countable structures
From MaRDI portal
Publication:5211056
DOI10.3233/COM-180095zbMath1453.03032arXiv1707.02506MaRDI QIDQ5211056
Publication date: 17 January 2020
Published in: Computability (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1707.02506
classification; measure; computability; computable categoricity; computable structure theory; algebraic fields
03C57: Computable structure theory, computable model theory
03D45: Theory of numerations, effectively presented structures
03C35: Categoricity and completeness of theories
Related Items
A TOPOLOGICAL APPROACH TO UNDEFINABILITY IN ALGEBRAIC EXTENSIONS OF, Computability theory. Abstracts from the workshop held January 7--13, 2018, Computable embeddings for pairs of linear orders, Non-coding enumeration operators, Computable procedures for fields, Computability theory. Abstracts from the workshop held April 25 -- May 1, 2021 (hybrid meeting)