Provable Fixed Points

&
Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (3):229-250 (1988)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19880340307

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,069

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Provable Fixed Points.Dick De Jongh & Franco Montagna - 1988 - Mathematical Logic Quarterly 34 (3):229-250.
Dick de Jongh and Franco Montagna. Provable fixed points. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 34 , pp. 229–250. [REVIEW]Lev D. Beklemishev - 1993 - Journal of Symbolic Logic 58 (2):715-717.
Provable fixed points in ${\rm I}\Delta0+\Omega1$.Alessandra Carbone - 1991 - Notre Dame Journal of Formal Logic 32 (4):562-572.
Fixed points and diagonal method.Maurizio Negri - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (4):319-329.
Iterated Extensional Rosser's Fixed Points and Hyperhyperdiagonalizable Algebras.Franco Montagna - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (4):293-303.
omnibus Review. [REVIEW]Lev Beklemishev - 1993 - Journal of Symbolic Logic 58 (2):715-717.
[Omnibus Review].Lev D. Beklemishev - 1993 - Journal of Symbolic Logic 58 (2):715-717.
Saturated Ideals Need Not bep-points.Chris A. Johnson - 1986 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 32 (31-34):521-522.
A constructive version of Sperner's lemma and Brouwer's fixed point theorem.A. K. Khalifa - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (3):247-251.
Akira Nakamura. A remark on the truth-value stipulation for the modal system M′. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 , pp. 11–14. - Akira Nakamura. On an axiomatic system of modal logic. Zeitschrift für mathematische Logik und Grundlagen der Mathematik vol. 14 , pp. 61–66. - R. A. Bull. On a paper of Akira Nakamura. Zeitschrift für mathematische Logik und Grundlagen der Mathematik vol. 15 , pp. 155–156. [REVIEW]M. K. Rennie - 1974 - Journal of Symbolic Logic 39 (2):351-351.

Analytics

Added to PP
2015-12-02

Downloads
36 (#457,838)

6 months
10 (#308,654)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Dick De De Jongh
University of Amsterdam

Citations of this work

Provability logic.Rineke Verbrugge - 2008 - Stanford Encyclopedia of Philosophy.
Bounded arithmetic, proof complexity and two papers of Parikh.Samuel R. Buss - 1999 - Annals of Pure and Applied Logic 96 (1-3):43-55.

Add more citations

References found in this work

Self-Reference and Modal Logic.George Boolos & C. Smorynski - 1988 - Journal of Symbolic Logic 53 (1):306.
Self-Reference and Modal Logic.[author unknown] - 1987 - Studia Logica 46 (4):395-398.

Add more references