scientific article; zbMATH DE number 724627

MaRDI QIDQ4323643zbMATH OpenFDO

Authors

Publication date 20 February 1995

zbMATH Keywords

\(\omega\)-consistencyLöb's theorem

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) First-order arithmetic and fragments (03F30) Metamathematics of constructive systems (03F50)

Cited in

(4)

• $$\boldsymbol{\forall }$$ and $$\boldsymbol{\omega }$$
• A syntactic proof of the conservativity of \(\lambda_\omega\) over \(\lambda_2\)
• scientific article; zbMATH DE number 956467 (Why is no real title available?)
• The relative consistency of g < cf(Sym(ω))

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 Q4323643)