Remote Access Proceedings of the American Mathematical Society
Green Open Access

Proceedings of the American Mathematical Society

ISSN 1088-6826(online) ISSN 0002-9939(print)

 
 

 

Avoiding self-referential statements


Author: C. Smoryński
Journal: Proc. Amer. Math. Soc. 70 (1978), 181-184
MSC: Primary 02F25
DOI: https://doi.org/10.1090/S0002-9939-1978-0476452-6
MathSciNet review: 0476452
Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: Recursion-theoretic proofs of metamathematical results tend to rely on a pair of effectively inseparable r.e. sets and its properties. We establish a special property for a small configuration of such pairs and derive from it some metamathematical results not previously accessible to recursion-theoretic techniques.


References [Enhancements On Off] (What's this?)

  • [A] Ehrenfeucht and S. Feferman 1960 Representability of recursively enumerable sets in formal theories, Arch. Math. Logik Grundlagenforsch. 5 37-41. MR 0125791 (23:A3088)
  • [M] Hájková and P. Hájek 1972 On interpretability in theories containing arithmetic, Fund. Math. 76 131-137. MR 0307897 (46:7012)
  • [R] A. di Paola 1966 On sets represented by the same formula in distinct consistent axiomatizable Rosser theories, Pacific J. Math. 18 445-456. MR 0230621 (37:6181)
  • [H] Putnam and R. M. Smullyan 1960 Exact separation of recursively enumerable sets within theories, Proc. Amer. Math. Soc. 11 574-577. MR 0120150 (22:10907)
  • [R] W. Ritchie and P. R. Young 1968/1969 Strong representability of partial functions in arithmetic theories, Information Sci. 1 189-204. MR 0258630 (41:3276)
  • [H] Rogers, Jr. 1967 Theory of recursive functions and effective computability, McGraw-Hill, New York. MR 0224462 (37:61)
  • [J] C. Shepherdson 1960 Representability of recursively enumerable sets in formal theories, Arch. Math. Logik Grundlagenforsch. 5 119-127. MR 0126378 (23:A3674)
  • [C] Smoryński A Calculating self-referential statements. II: non-explicit calculations (to appear).

Similar Articles

Retrieve articles in Proceedings of the American Mathematical Society with MSC: 02F25

Retrieve articles in all journals with MSC: 02F25


Additional Information

DOI: https://doi.org/10.1090/S0002-9939-1978-0476452-6
Article copyright: © Copyright 1978 American Mathematical Society

American Mathematical Society