Inconsistency of a metatheory of Nudel'man

DOI10.1007/BF00750552zbMath0842.03039OpenAlexW2059991777MaRDI QIDQ1910288

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

inconsistencymetatheoryarithmetization of metamathematics

Mathematics Subject Classification ID

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

Cites Work

• Arithmetization of metamathematics in a general setting