Syntactical truth predicates for second order arithmetic
From MaRDI portal
Publication:2732276
DOI10.2307/2694919zbMath0978.03044MaRDI QIDQ2732276
Publication date: 22 January 2002
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2694919
03F35: Second- and higher-order arithmetic and fragments
Related Items
Cites Work