Effectively Existentially-Atomic Structures

DOI10.1007/978-3-319-50062-1_16zbMath1485.03116OpenAlexW2557884514MaRDI QIDQ2970960

Antonio Montalbán

Publication date: 4 April 2017

Published in: Computability and Complexity (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-50062-1_16

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

Related Items

AN INTRODUCTION TO THE SCOTT COMPLEXITY OF COUNTABLE STRUCTURES AND A SURVEY OF RECENT RESULTS, Bi‐embeddability spectra and bases of spectra, Punctual definability on structures, SCOTT COMPLEXITY OF COUNTABLE STRUCTURES

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Generic copies of countable structures
• Computable structures and the hyperarithmetical hierarchy
• Effective algebraicity
• Transformation groups and \(C^ *\)-algebras
• Rice sequences of relations
• A robuster Scott rank
• Spectra of Algebraic Fields and Subfields
• Large and small existentially closed structures
• Constructive models of uncountably categorical theories
• COMPUTABLE POLISH GROUP ACTIONS
• Effective prime uniqueness
• Degrees of Structures
• Turing degrees of isomorphism types of algebraic objects
• A fixed point for the jump operator on structures
• Effective model theory vs. recursive model theory