Isomorphism and classification for countable structures

DOI10.3233/COM-180095zbMath1453.03032arXiv1707.02506OpenAlexW2735584149MaRDI QIDQ5211056

Russell G. Miller

Publication date: 17 January 2020

Published in: Computability (Search for Journal in Brave)

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

zbMATH Keywords

classificationmeasurecomputabilitycomputable categoricitycomputable structure theoryalgebraic fields

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Categoricity and completeness of theories (03C35)

Related Items (6)

A TOPOLOGICAL APPROACH TO UNDEFINABILITY IN ALGEBRAIC EXTENSIONS OF ⋮ Computability theory. Abstracts from the workshop held April 25 -- May 1, 2021 (hybrid meeting) ⋮ 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

This page was built for publication: Isomorphism and classification for countable structures