Publication:800922

DOI10.1305/NDJFL/1093870573zbMATH Open0552.03039OpenAlexW2021219421MaRDI QIDQ800922FDOQ800922

Per Lindström

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)

Cited In (7)

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

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

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