Effectively existentially-atomic structures

DOI10.1007/978-3-319-50062-1_16MaRDI QIDQ2970960zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Some results on \(\mathbb{R}\)-computable structures
• scientific article; zbMATH DE number 1159716
• Publication:4946097
• Simple and immune relations on countable structures
• SCOTT COMPLEXITY OF COUNTABLE STRUCTURES

Cites work

• scientific article; zbMATH DE number 1302876 (Why is no real title available?)
• scientific article; zbMATH DE number 2167522 (Why is no real title available?)
• scientific article; zbMATH DE number 3266609 (Why is no real title available?)
• A fixed point for the jump operator on structures
• A robuster Scott rank
• An autostable 1-decidable model without a computable Scott family of \(\exists\)-formulas
• Computable Polish group actions
• Computable structures and the hyperarithmetical hierarchy
• Constructive models of uncountably categorical theories
• Degrees of Structures
• Effective algebraicity
• Effective model theory vs. recursive model theory
• Effective prime uniqueness
• Generic copies of countable structures
• Large and small existentially closed structures
• Rice sequences of relations
• Spectra of Algebraic Fields and Subfields
• Transformation groups and \(C^ *\)-algebras
• Turing degrees of isomorphism types of algebraic objects

Cited in

(5)

• Bi‐embeddability spectra and bases of spectra
• Punctual definability on structures
• On existential interpretability of structures
• An introduction to the Scott complexity of countable structures and a survey of recent results
• SCOTT COMPLEXITY OF COUNTABLE STRUCTURES

This page was built for publication: Effectively existentially-atomic structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2970960)