A theorem on partial conservativity in arithmetic

DOI10.2178/JSL/1294171003zbMath1218.03033OpenAlexW1998522263MaRDI QIDQ3083142

No author found.

Publication date: 18 March 2011

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

Full work available at URL: https://doi.org/10.2178/jsl/1294171003

zbMATH Keywords

elementary arithmeticpartially conservative extension

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40) Relative consistency and interpretations (03F25)

Related Items (1)

Duality, non-standard elements, and dynamic properties of r.e. sets

Cites Work

• Arithmetical independence results using higher recursion theory

This page was built for publication: A theorem on partial conservativity in arithmetic