Strength and Weakness in Computable Structure Theory
From MaRDI portal
Publication:2970966
DOI10.1007/978-3-319-50062-1_20zbMath1485.03111OpenAlexW2559656554MaRDI QIDQ2970966
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_20
Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)
Related Items
Finite computable dimension and degrees of categoricity, Every Δ20 degree is a strong degree of categoricity, Computable Heyting algebras with distinguished atoms and coatoms, Coding in the automorphism group of a computably categorical structure
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Degrees that are not degrees of categoricity
- Schnorr trivial reals: a construction
- Descriptive set theory
- Classical recursion theory. The theory of functions and sets of natural numbers
- Classical recursion theory. Vol. II
- Realizing levels of the hyperarithmetic hierarchy as degree spectra of relations on computable structures
- Computable structures and the hyperarithmetical hierarchy
- Degree spectra and computable dimensions in algebraic structures
- Degrees of categoricity and the hyperarithmetic hierarchy
- On a hierarchy of sets. III
- Degrees of categoricity of computable structures
- On Schnorr and computable randomness, martingales, and machines
- Algorithmic Randomness and Complexity
- Effective procedures in field theory
- Combinatorial principles weaker than Ramsey's Theorem for pairs
- Non Σn axiomatizable almost strongly minimal theories
- Schnorr trivial sets and truth-table reducibility
- The atomic model theorem and type omitting
- Degrees coded in jumps of orderings
- Lowness for isomorphism and degrees of genericity
- Degrees that Are Low for Isomorphism
- PRIORITY ARGUMENTS VIA TRUE STAGES
- Computability and Randomness
- The Friedberg-Muchnik Theorem Re-Examined
- Randomness, relativization and Turing degrees
- DEGREES OF CATEGORICITY ON A CONE VIAη-SYSTEMS