scientific article; zbMATH DE number 3365265

zbMath0231.02087MaRDI QIDQ5638320

Petr Hájek

Publication date: 1971

Full work available at URL: https://eudml.org/doc/16414

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Consistency and independence results (03E35) Set theory (03E99)

Related Items (7)

Interpretability suprema in Peano arithmetic ⋮ Fixed point algebras ⋮ Petr Vopěnka (*16. 5. 1935) ⋮ A generalization of the second incompleteness theorem and some exceptions to it ⋮ Partially Conservative Extensions of Arithmetic ⋮ The Interpretation Existence Lemma ⋮ The logic of \(\Pi_ 1\)-conservativity

This page was built for publication: