Generalizations of enumeration reducibility using recursive infinitary propositional sentences
From MaRDI portal
Publication:1207542
DOI10.1016/0168-0072(92)90026-VzbMath0769.03025MaRDI QIDQ1207542
Publication date: 1 April 1993
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0168-0072(92)90026-v
03D30: Other degrees and reducibilities in computability and recursion theory
Related Items
Regular enumerations, The jump operation for structure degrees, Realizing levels of the hyperarithmetic hierarchy as degree spectra of relations on computable structures, Enumeration Reducibility and Computable Structure Theory
Cites Work