Modal Model Theory

  • C. Smoryński
Part of the Universitext book series (UTX)

Abstract

As we saw in the last chapter, one can get pretty far in studying self-reference in arithmetic by purely syntactic means. Unfortunately, syntax tends to be forgettable as well as limited and somewhat involved. Fortunately, there are various semantic interpretations with suggestive terminologies to aid the memory or, at least, rediscovery.

Keywords

Dick AIDA 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag New York Inc. 1985

Authors and Affiliations

  • C. Smoryński
    • 1
  1. 1.Department of Mathematics and Computer ScienceSan Jose State UniversitySan JoseUSA

Personalised recommendations