Minimal degrees of unsolvability and the full approximation construction /

Lignende værker

• Minimal weak truth table degrees and computably enumerable Turing degrees /
  af: Downey, R. G. (Rod G.), et al.
  Udgivet: (2020)
• Degree spectra of relations on a cone /
  af: Harrison-Trainor, Matthew
  Udgivet: (2018)
• Initial segments of degrees below 0' /
  af: Epstein, Richard L., 1947-
  Udgivet: (1981)
• The role of true finiteness in the admissible recursively enumerable degrees /
  af: Greenberg, Noam, 1974-
  Udgivet: (2006)
• Formalized recursive functionals and formalized realizability /
  af: Kleene, Stephen Cole, 1909-1994
  Udgivet: (1969)