On \(\Sigma _ 1\) and \(\Pi _ 1\) sentences and degrees of interpretability

DOI10.1016/0168-0072(93)90203-PzbMath0805.03049MaRDI QIDQ685078

Per Lindström

Publication date: 22 September 1993

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

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

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• On certain lattices of degrees of interpretability
• Self-reference and modal logic
• Partially Conservative Extensions of Arithmetic
• Arithmetization of metamathematics in a general setting
• On Partially Conservative Sentences and Interpretability