scientific article; zbMATH DE number 3632437
From MaRDI portal
Publication:4193434
zbMath0407.03020MaRDI QIDQ4193434
Publication date: 1978
Full work available at URL: https://eudml.org/doc/16940
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Undecidability and degrees of sets of sentences (03D35) Foundations of classical theories (including reverse mathematics) (03B30)
Related Items (11)
Extension and interpretability ⋮ Interpretability suprema in Peano arithmetic ⋮ Arithmetic with a local reflection principle for Rosser provability formulas ⋮ Weak theories of concatenation and arithmetic ⋮ Interpretability degrees of finitely axiomatized sequential theories ⋮ The formalization of interpretability ⋮ 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 ⋮ Modal analysis of generalized rosser sentences ⋮ Arithmetical interpretations of dynamic logic ⋮ Remarks and problems on a lattice of equational chapters
This page was built for publication: