scientific article; zbMATH DE number 724627

zbMATH Open0815.03035MaRDI QIDQ4323643FDOQ4323643

Authors:

Publication date: 20 February 1995

Title of this publication is not available (Why is that?)

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 }$$
• Title not available (Why is that?)
• A syntactic proof of the conservativity of \(\lambda_\omega\) over \(\lambda_2\)
• 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)