Albert Visser. Submodels of Kripke models. Archive for mathematical logic, vol. 40 , pp. 277–295

Bulletin of Symbolic Logic 8 (3):440-441 (2002)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2178/bsl/1182353907

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 99,445

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

Submodels of Kripke models. [REVIEW]Rosalie Iemhoff - 2002 - Bulletin of Symbolic Logic 8 (3):440-440.
Albert Visser. A course on bimodal provability logic. Annals of pure and applied logic, vol. 73 , pp. 109–142.Franco Montagna - 1997 - Journal of Symbolic Logic 62 (2):686-687.
Z. A. Melzak. An informal arithmetical approach to computability and computation. Canadian mathematical bulletin , vol. 4 , pp. 279–293. - Joachim Lambek. How to program an infinite abacus. Canadian mathematical bulletin , vol. 4 , pp. 295–302. [REVIEW]Ann M. Singleterry - 1966 - Journal of Symbolic Logic 31 (3):514-514.
Franco Montagna, Giulia Simi, and Andrea Sorbi. Logic and probabilistic systems. Archive for mathematical logic, vol. 35 , pp. 225–261. [REVIEW]J. B. Paris - 2000 - Bulletin of Symbolic Logic 6 (2):223-225.
Heiner Marxen and Jürgen Buntrock. Attacking the busy beaver 5. Bulletin of the European Association for Theoretical Computer Science, no. 40 , pp. 247–251. - Pascal Michel. Busy beaver competition and Collatz-like problems. Archive for mathematical logic, vol. 32 , pp. 351–367. [REVIEW]Allen H. Brady - 1998 - Journal of Symbolic Logic 63 (1):331-332.
J. H. Schmerl, Subsets coded in elementary end extensions. Archive for Mathematical Logic, vol. 53 (2014), no. 5–6, pp. 571–581. - J. H. Schmerl, Minimal elementary end extensions. Archive for Mathematical Logic, vol. 56 (2017), no. 5–6, pp. 541–553. [REVIEW]Athar Abdul-Quader - 2019 - Bulletin of Symbolic Logic 25 (1):125-126.
Toshiyasu Arai. Consistency proof via pointwise induction. Archive for mathematical logic, vol. 37 no. 3 , pp. 149–165. [REVIEW]Andreas Weiermann - 2002 - Bulletin of Symbolic Logic 8 (4):536-537.

Analytics

Added to PP
2010-08-30

Downloads
34 (#545,024)

6 months
12 (#215,874)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Rosalie Iemhoff
Utrecht University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references