scientific article; zbMATH DE number 841118

MaRDI QIDQ4863274zbMATH OpenFDO

Authors Zofia Adamowicz

Publication date 13 May 1996

zbMATH Keywords

definabilitydiagonal reasoningGödel's theoremsmetalanguagesurvey

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) First-order arithmetic and fragments (03F30)

Recommendations

• Diagonal logic
• scientific article; zbMATH DE number 3928996
• Axiomatization of modal logic squares with distinguished diagonal
• scientific article; zbMATH DE number 1852918
• Mathematical logic
• scientific article; zbMATH DE number 663929
• Mathematical logic
• scientific article; zbMATH DE number 3106607
• scientific article; zbMATH DE number 5306054

Cited in

(1)

• Herbrand consistency of some arithmetical theories

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