Self-applicable propositions for the standard and Rosser predicates of provability

DOI10.1070/RM1981v036n01ABEH002559zbMath0495.03037OpenAlexW2317529521MaRDI QIDQ3958457

V. I. Stepanov

Publication date: 1981

Published in: Russian Mathematical Surveys (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1070/rm1981v036n01abeh002559

zbMATH Keywords

self-referential propositionsfixed points of formulas

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

This page was built for publication: Self-applicable propositions for the standard and Rosser predicates of provability