On _ 1 and _ 1 sentences and degrees of interpretability

DOI10.1016/0168-0072(93)90203-PMaRDI QIDQ685078zbMATH OpenFDO

Authors Per Lindström

Publication date 22 September 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(93)90203-P

zbMATH Keywords

\(\Pi_ 1\) degrees\(\Pi_ 1\) sentences\(\Sigma_ 1\) degrees\(\Sigma_ 2\) sentencesdegrees of interpretabilitypseudocomplements

Mathematics Subject Classification ID

Other degrees and reducibilities in computability and recursion theory (03D30) Relative consistency and interpretations (03F25) First-order arithmetic and fragments (03F30)

Recommendations

• On certain lattices of degrees of interpretability
• On the Σ₂-theory of the upper semilattice of Turing degrees
• Biinterpretability up to double jump in the degrees below \(\mathbf{0}'\)
• Semilattices of disjunctive and linear degrees
• Effectively inseparable Boolean algebras in lattices of sentences

Cites work

• Arithmetization of metamathematics in a general setting
• scientific article; zbMATH DE number 3957096 (Why is no real title available?)
• scientific article; zbMATH DE number 3632437 (Why is no real title available?)
• On certain lattices of degrees of interpretability
• On Partially Conservative Sentences and Interpretability
• Partially Conservative Extensions of Arithmetic
• Self-reference and modal logic

Cited in

(4)

• On Partially Conservative Sentences and Interpretability
• Construction of sentences with specific interpretability properties
• Some Prime Elements in the Lattice of Interpretability Types
• On certain lattices of degrees of interpretability

This page was built for publication: On \(\Sigma _ 1\) and \(\Pi _ 1\) sentences and degrees of interpretability

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