scientific article; zbMATH DE number 6307931
From MaRDI portal
Publication:4981446
zbMath1315.03003MaRDI QIDQ4981446
Publication date: 24 June 2014
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Philosophical and critical aspects of logic and foundations (03A05) First-order arithmetic and fragments (03F30) Relative consistency and interpretations (03F25)
Related Items
THE POWER OF NAIVE TRUTH, NONCLASSICAL TRUTH WITH CLASSICAL STRENGTH. A PROOF-THEORETIC ANALYSIS OF COMPOSITIONAL TRUTH OVER HYPE, Feferman and the Truth