scientific article; zbMATH DE number 3365265

MaRDI QIDQ5638320zbMATH OpenFDO

Authors Petr Hájek

Publication date 1971

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

Mathematics Subject Classification ID

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

Cited in

(9)

• Interpretability suprema in Peano arithmetic
• A generalization of the second incompleteness theorem and some exceptions to it
• Partially Conservative Extensions of Arithmetic
• Fixed point algebras
• The interpretation existence lemma
• Petr Vopěnka (*16. 5. 1935)
• An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics
• Mathematical developments of the incompleteness theorems
• The logic of \(\Pi_ 1\)-conservativity

This page was built for publication:

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