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

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