Publication:4193434
From MaRDI portal
zbMath0407.03020MaRDI QIDQ4193434
Publication date: 1978
Full work available at URL: https://eudml.org/doc/16940
03D35: Undecidability and degrees of sets of sentences
03B30: Foundations of classical theories (including reverse mathematics)
Related Items
Weak theories of concatenation and arithmetic, Weak theories of concatenation and minimal essentially undecidable theories. An encounter of \(\mathsf{WTC}\) and \(\mathsf{S2S}\), On \(\Sigma _ 1\) and \(\Pi _ 1\) sentences and degrees of interpretability, Arithmetic with a local reflection principle for Rosser provability formulas, The formalization of interpretability, Remarks and problems on a lattice of equational chapters, Interpretability suprema in Peano arithmetic, Interpretability degrees of finitely axiomatized sequential theories, Extension and interpretability, Modal analysis of generalized rosser sentences, Arithmetical interpretations of dynamic logic