scientific article; zbMATH DE number 14544

MaRDI QIDQ3977029zbMATHFDO

Authors Ermanno Bencivenga

Publication date 25 June 1992

zbMATH Keywords

consistencycompletenessaxiomatisabilityfree arithmetictheory FQ

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Recommendations

• Semantic Completeness of Free-Variable Theories
• Finitary consistency of a free arithmetic
• A Free-Variable Theory of Primitive Recursive Arithmetic
• Towards metamathematics of weak arithmetics over fuzzy logic
• An open formalism against incompleteness

Cited in

(3)

• scientific article; zbMATH DE number 4059394 (Why is no real title available?)
• Semantic Completeness of Free-Variable Theories
• Finitary consistency of a free 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 Q3977029)