On certain lattices of degrees of interpretability

DOI10.1305/ndjfl/1093870573zbMath0552.03039OpenAlexW2021219421MaRDI QIDQ800922

No author found.

Publication date: 1984

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093870573

zbMATH Keywords

essentially reflexive extensions of PA

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Relative consistency and interpretations (03F25)

Related Items (7)

Some properties of the syntactic p-recursion categories generated by consistent, recursively enumerable extensions of Peano arithmetic. ⋮ Interpretability suprema in Peano arithmetic ⋮ The formalization of interpretability ⋮ On \(\Sigma _ 1\) and \(\Pi _ 1\) sentences and degrees of interpretability ⋮ European Summer Meeting of the Association for Symbolic Logic ⋮ Cuts, consistency statements and interpretations ⋮ There is no plus-capping degree

This page was built for publication: On certain lattices of degrees of interpretability