COPYING ONE OF A PAIR OF STRUCTURES

DOI10.1017/jsl.2021.89OpenAlexW3210134739MaRDI QIDQ5100056

Hannah Burchfield, Rachael Alvir, Julia F. Knight

Publication date: 29 August 2022

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/jsl.2021.89

zbMATH Keywords

Cohen genericgeneric enumeration of familyTuring operator

Mathematics Subject Classification ID

Computability and recursion theory (03D99)

Cites Work

• Unnamed Item
• Unnamed Item
• Pairs of recursive structures
• Computable structures and the hyperarithmetical hierarchy
• Degree spectra and computable dimensions in algebraic structures
• Algorithmic reducibilities of algebraic structures
• Models of arithmetic and upper bounds for arithmetic sets
• Every Low Boolean Algebra is Isomorphic to a Recursive One
• Models of arithmetic and subuniform bounds for the arithmetic sets
• Strong jump inversion
• A COMPUTABLE FUNCTOR FROM GRAPHS TO FIELDS
• Computable Structure Theory
• TURING DEGREE SPECTRA OF DIFFERENTIALLY CLOSED FIELDS

This page was built for publication: COPYING ONE OF A PAIR OF STRUCTURES