Calculating self-referential statements: Guaspari sentences of the first kind

DOI10.2307/2273625zbMath0475.03032OpenAlexW2060162003MaRDI QIDQ3931383

Craig Smorynski

Publication date: 1981

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2273625

zbMATH Keywords

self-reference

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Relative consistency and interpretations (03F25)

Related Items

Provability in finite subtheories of PA and relative interpretability: a modal investigation, Fixed point algebras

Cites Work

• Unnamed Item