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

DOI10.2307/2273625MaRDI QIDQ3931383zbMATH OpenOpenAlexFDO

Authors Craig Smoryński

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)

Cited in

(2)

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

This page was built for publication: Calculating self-referential statements: Guaspari sentences of the first kind

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