scientific article; zbMATH DE number 14544

zbMATH Open0736.03021MaRDI QIDQ3977029FDOQ3977029

Authors: Ermanno Bencivenga 

Publication date: 25 June 1992

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

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

zbMATH Keywords

consistencycompletenessaxiomatisabilityfree arithmetictheory FQ

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Cited In (3)

• Title not available (Why is that?)
• 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)