Strange structures from computable model theory

DOI10.1215/00294527-3767941zbMath1417.03234OpenAlexW2552133981MaRDI QIDQ509606

Howard Becker

Publication date: 17 February 2017

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1215/00294527-3767941

zbMATH Keywords

computable structuresaxiom of determinacyScott rank

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Model theory of denumerable and separable structures (03C15) Determinacy principles (03E60)

Related Items (2)

AN INTRODUCTION TO THE SCOTT COMPLEXITY OF COUNTABLE STRUCTURES AND A SURVEY OF RECENT RESULTS ⋮ ASSIGNING AN ISOMORPHISM TYPE TO A HYPERDEGREE

This page was built for publication: Strange structures from computable model theory