scientific article; zbMATH DE number 6614319

MaRDI QIDQ3188656zbMATH OpenFDO

Authors

Publication date 12 August 2016

Mathematics Subject Classification ID

Festschriften (00B30) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Modal logic (including the logic of norms) (03B45) Foundations of classical theories (including reverse mathematics) (03B30) Logic in computer science (03B70)

Cited in

(1)

• Hierarchical incompleteness results for arithmetically definable extensions of fragments of arithmetic

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