Dick de Jongh and Franco Montagna. Provable fixed points. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 34 , pp. 229–250 [Book Review]

Journal of Symbolic Logic 58 (2):715-717 (1993)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2275232

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,164

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 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (3):229-250.
Much Shorter Proofs.Dick de Jongh & Franco Montagna - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (3):247-260.
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.
Iterated Extensional Rosser's Fixed Points and Hyperhyperdiagonalizable Algebras.Franco Montagna - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (4):293-303.
Provable Fixed Points.Dick De Jongh & Franco Montagna - 1988 - Mathematical Logic Quarterly 34 (3):229-250.
A Completeness Result for Fixed‐Point Algebras.Franco Montagna - 1984 - Mathematical Logic Quarterly 30 (32-34):525-532.
Provable Fixed Points.Much Shorter Proofs.Rosser Orderings in Bimodal Logics.Much Shorter Proofs: A Bimodal Investigation. [REVIEW]Lev D. Beklemishev, Dick de Jongh, Franco Montagna & Alessandra Carbone - 1993 - Journal of Symbolic Logic 58 (2):715.
Much shorter proofs: A bimodal investigation.Alessandra Carbone & Franco Montagna - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (1):47-66.
Rosser Orderings in Bimodal Logics.Alessandra Carbone & Franco Montagna - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (4):343-358.
Fixed points and diagonal method.Maurizio Negri - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (4):319-329.
Harrop Ronald. On the recursivity of finite sets. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 , pp. 136–140.Hořejš Jiří. Note on definition of recursiveness. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 10 , pp. 119–120. [REVIEW]Charles Parsons - 1968 - Journal of Symbolic Logic 33 (1):115-115.
Vopěnka Petr. Odin metod postroéniá néstandartnoj modéli aksiomatičéskoj téorii množéstv Bérnajsa Gédélá . Doklady Akadémii Nauk SSSR, vol. 143 , pp. 11–12.Vopěnka Petr. Postroénié modéléj téorii množéstv métodom spéktra . Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 9 , pp. 149–160.Vopěnka Petr. Eléméntarnyé pondtiá v téorii množéstv . Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 9 , pp. 161–167.Vopěnka Petr. Postroénié néstandartnoj nérégulárnoj modéli téorii množéstv . Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 9 , pp. 229–233.Vopěnka Petr. Podmodéli modéléj téorii množéstv . Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 10 , pp. 163–172. [REVIEW]Andrzej Mostowski - 1970 - Journal of Symbolic Logic 35 (3):470-472.
Generic Generalized Rosser Fixed Points.Dick H. J. de Jongh & Franco Montagna - 1987 - Studia Logica 46 (2):193-203.
Generic generalized Rosser fixed points.Dick H. J. Jongh & Franco Montagna - 1987 - Studia Logica 46 (2):193 - 203.

Analytics

Added to PP
2016-06-30

Downloads
19 (#750,145)

6 months
6 (#417,196)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references