Inconsistency of a metatheory of Nudel'man

DOI10.1007/BF00750552MaRDI QIDQ1910288zbMATH OpenOpenAlexFDO

Authors V. A. Ganov

Publication date 31 March 1996

Published in Algebra and Logic (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/187711

zbMATH Keywords

arithmetization of metamathematicsinconsistencymetatheory

Mathematics Subject Classification ID

Consistency and independence results (03E35) Nonclassical and second-order set theories (03E70)

Recommendations

• Metavaluations, naive set theory and inconsistency
• Inconsistency and Incompleteness, Revisited
• On the metatheory for paraconsistent truth
• scientific article; zbMATH DE number 140409
• Publication:4888318
• scientific article; zbMATH DE number 4139718
• scientific article; zbMATH DE number 935034
• Metatheory and dialetheism
• Consistent theories in inconsistent logics
• Metainferential paraconsistency

Cites work

• Arithmetization of metamathematics in a general setting

Cited in

(2)

• On the concept of relatively uniform realizability of propositional formulas
• scientific article; zbMATH DE number 1343458 (Why is no real title available?)

This page was built for publication: Inconsistency of a metatheory of Nudel'man

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1910288)