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

DOI10.2307/2273625zbMATH Open0475.03032OpenAlexW2060162003MaRDI QIDQ3931383FDOQ3931383

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)

Cites Work

• Title not available (Why is that?)

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)