Two theorems on degrees of models of true arithmetic

DOI10.2307/2274174MaRDI QIDQ3697017zbMATH OpenOpenAlexFDO

Authors Robert I. Soare, J. F. Knight, Alistair H. Lachlan

Publication date 1984

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

Full work available at URL https://doi.org/10.2307/2274174

zbMATH Keywords

refutation of Knight's conjecture

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Models of arithmetic and set theory (03C62) Other degrees and reducibilities in computability and recursion theory (03D30) Nonstandard models of arithmetic (03H15)

Recommendations

• Models of arithmetic and upper bounds for arithmetic sets
• Publication:4938559
• scientific article; zbMATH DE number 517082
• scientific article; zbMATH DE number 2222018
• scientific article; zbMATH DE number 2236639

Cites work

• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• scientific article; zbMATH DE number 3387326 (Why is no real title available?)
• Class groups of integral group rings
• Classes of Recursively Enumerable Sets and Degrees of Unsolvability
• Degrees in Which the Recursive Sets are Uniformly Recursive
• On the degrees less than 0'

Cited in

(11)

• scientific article; zbMATH DE number 1405580 (Why is no real title available?)
• scientific article; zbMATH DE number 2222018 (Why is no real title available?)
• Degrees of Recursively Saturated Models
• Minimal upper bounds for arithmetical degrees
• Model-theoretic properties of the \(n\)-c.e. degrees
• Models of arithmetic and upper bounds for arithmetic sets
• Upper bounds for the arithmetical degrees
• Solovay's theorem cannot be simplified
• scientific article; zbMATH DE number 4061229 (Why is no real title available?)
• scientific article; zbMATH DE number 2236639 (Why is no real title available?)
• Minimal complementation below uniform upper bounds for the arithmetical degrees

This page was built for publication: Two theorems on degrees of models of true arithmetic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3697017)