Models of arithmetic and subuniform bounds for the arithmetic sets

DOI10.2307/2586587MaRDI QIDQ4391422zbMATH OpenOpenAlexFDO

Authors Robert I. Soare, Alistair H. Lachlan

Publication date 3 December 1998

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

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

zbMATH Keywords

arithmetic setseffective enumerationsmodels of arithmeticTuring degrees

Mathematics Subject Classification ID

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
• Upper bounds for the arithmetical degrees
• Publication:4938559
• scientific article; zbMATH DE number 4033714

Cites work

• Models of arithmetic and upper bounds for arithmetic sets
• Upper bounds for the arithmetical degrees

Cited in

(3)

• Upper bounds for the arithmetical degrees
• Models of arithmetic and upper bounds for arithmetic sets
• COPYING ONE OF A PAIR OF STRUCTURES

This page was built for publication: Models of arithmetic and subuniform bounds for the arithmetic sets

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