Models of arithmetic and upper bounds for arithmetic sets

DOI10.2307/2275921MaRDI QIDQ4314684zbMATH OpenOpenAlexFDO

Authors Robert I. Soare, Alistair H. Lachlan

Publication date 27 November 1994

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

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

zbMATH Keywords

degrees of models of true arithmeticforcingmodels of arithmeticupper bounds for the arithmetic sets

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Models of arithmetic and set theory (03C62) Other degrees and reducibilities in computability and recursion theory (03D30)

Recommendations

• Models of arithmetic and subuniform bounds for the arithmetic sets
• Minimal complementation below uniform upper bounds for the arithmetical degrees
• Upper bounds for the arithmetical degrees
• Two theorems on degrees of models of true arithmetic
• Minimal upper bounds for arithmetical degrees

Cites work

• Two theorems on degrees of models of true arithmetic

Cited in

(9)

• Upper bounds for the arithmetical degrees
• Two theorems on degrees of models of true arithmetic
• Completions of PA: Models and enumerations of representable sets
• Minimal upper bounds for arithmetical degrees
• Models of arithmetic and subuniform bounds for the arithmetic sets
• 1995 Annual Meeting of the Association for Symbol Logic
• Construction of models of bounded arithmetic by restricted reduced powers
• COPYING ONE OF A PAIR OF STRUCTURES
• scientific article; zbMATH DE number 2236639 (Why is no real title available?)

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

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