Skip to main content
SpringerLink
Log in

Rosser and mostowski sentences

  • Published:
Archive for Mathematical Logic Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

References

  1. Bernardi, C., Montagna, F.: Equivalence relations induced by extensional formulae. Fundam. Math.CXXIV, 221–233 (1984)

    Google Scholar 

  2. Boolos, G.: The unprovability of consistency. Cambridge: Cambridge University Press 1979

    Google Scholar 

  3. Carlson, T.: Modal logics with several operators and provability interpretations

  4. De Jongh, D.H.J.: A simplification of a completeness proof of Guaspari and Solovay

  5. De Jongh, D.H.J., Montagna, F.: Generic generalized Rosser fixed points

  6. Guaspari, D.: Sentences implying their own provability. J. Symb. Logic48, 777–789 (1983)

    Google Scholar 

  7. Guaspari, D., Solovay, R.: Rosser sentences. Ann. Math. Logic16, 81–99 (1979)

    Google Scholar 

  8. Montagna, F.: On the diagonalizable algebra of Peano Arithmetic. Boll. Unione Mat. Ital. V. Ser.,B 16, 795–812 (1979)

    Google Scholar 

  9. Mostowski, A.: A generalization of the incompleteness theorem. Fundam. Math.49, 205–232 (1961)

    Google Scholar 

  10. Rosser, J.B.: Extensions of some theorems of Gödel and Church. J. Symb. Logic 87–91 (1936)

  11. Sambin, G.: An effective fixed point theorem in intuitionistic diagonalizable algebras. Stud. Logica35, 345–361 (1976)

    Google Scholar 

  12. Shepherdson, J.: Representability of recursively enumerable sets in formal systems. Arch. F. Math. Logik5, 119–127 (1960)

    Google Scholar 

  13. Smorynski, C.: Bimodal logic and arithmetic

  14. Smorynski, C.: Self reference and modal logic. Berlin Heidelberg New York Tokyo: Springer 1985

    Google Scholar 

  15. Smorynski, C.: Modal logic and self-reference. In Gabbay, D., Guenthner, F. (eds.) Handbook of philosophical logic II. Dordrecht: Reidel 1984

    Google Scholar 

  16. Solovay, R.M.: Provability interpretations of modal logic. Isr. J. Math.25, 287–304 (1976)

    Google Scholar 

  17. Visser, A.: The provability logic of recursively enumerable theories extending Peano Arithmetic at arbitrary theories extending Peano Arithmetic. J. Philos. Logic13 (1984)

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Matematica, Universitá di Siena, Via del Capitano 15, I-53100, Siena, Italy

    Franco Montagna

  2. Institut de Mathématiques, Université de Fribourg, CH-1700, Fribourg, Switzerland

    Giovanni Sommaruga

Authors
  1. Franco Montagna
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Giovanni Sommaruga
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Montagna, F., Sommaruga, G. Rosser and mostowski sentences. Arch Math Logic 27, 115–133 (1988). https://doi.org/10.1007/BF01620761

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01620761

Keywords

Search

Navigation