Effectively existentially-atomic structures
From MaRDI portal
Publication:2970960
DOI10.1007/978-3-319-50062-1_16zbMATH Open1485.03116OpenAlexW2557884514MaRDI QIDQ2970960FDOQ2970960
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
Recommendations
Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)
Cites Work
- Generic copies of countable structures
- Computable structures and the hyperarithmetical hierarchy
- Transformation groups and \(C^ *\)-algebras
- Effective model theory vs. recursive model theory
- Constructive models of uncountably categorical theories
- Title not available (Why is that?)
- Title not available (Why is that?)
- Rice sequences of relations
- Title not available (Why is that?)
- Degrees of Structures
- Turing degrees of isomorphism types of algebraic objects
- A fixed point for the jump operator on structures
- Effective algebraicity
- Spectra of Algebraic Fields and Subfields
- An autostable 1-decidable model without a computable Scott family of \(\exists\)-formulas
- Large and small existentially closed structures
- A robuster Scott rank
- Computable Polish group actions
- Effective prime uniqueness
Cited In (5)
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)
