Martin Otto. The expressive power of fixed-point logic with counting. The journal of symbolic logic, vol. 61 , pp. 147–176. - Martin Otto. Bounded variable logics and counting. A study infinite models. Lecture notes in logic, no. 9. Springer, Berlin, Heidelberg, New York, etc., 1997, ix + 183 pp [Book Review]

Journal of Symbolic Logic 63 (1):329-331 (1998)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2586606

Links

PhilArchive



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

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

Review: Martin Otto, Bounded Variable Logics and Counting. A Study in Finite Models. [REVIEW]Anuj Dawar - 1998 - Journal of Symbolic Logic 63 (1):329-331.
The expressive power of fixed-point logic with counting.Martin Otto - 1996 - Journal of Symbolic Logic 61 (1):147-176.
Bounded variable logics: two, three, and more. [REVIEW]Martin Otto - 1999 - Archive for Mathematical Logic 38 (4-5):235-256.
Lindström Per. Aspects of incompleteness. Lecture notes in logic, no. 10. Springer, Berlin, Heidelberg, New York, etc., 1997, x + 133 pp. [REVIEW]Lev Beklemishev - 1998 - Journal of Symbolic Logic 63 (4):1606-1608.
Marker David, Introduction to the model theory of fields. Model theory of fields, Lecture notes in logic, no. 5, Springer, Berlin, Heidelberg, New York, etc., 1996, pp. 1–37.Marker David. Model theory of differential fields. Model theory of fields, Lecture notes in logic, no. 5, Springer, Berlin, Heidelberg, New York, etc., 1996, pp. 38–113.Pillay Anand. Differential algebraic groups and the number of countable differentially closed fields. Model theory of fields, Lecture notes in logic, no. 5, Springer, Berlin, Heidelberg, New York, etc., 1996, pp. 114–134.Messmer Margit. Some model theory of separably closed fields. Model theory of fields, Lecture notes in logic, no. 5, Springer, Berlin, Heidelberg, New York, etc., 1996, pp. 135–152. [REVIEW]Zoé Chatzidakis - 1998 - Journal of Symbolic Logic 63 (2):746-747.
Felgner Ulrich. Models of ZF-set theory. Lecture notes in mathematics, no. 223, Springer-Verlag, Berlin, Heidelberg, and New York, 1971, vi + 173 pp.Jech Thomas J.. Lectures in set theory with particular emphasis on the method of forcing. Lecture notes in mathematics, no. 217, Springer-Verlag, Berlin, Heidelberg, and New York, 1971, v + 137 pp. [REVIEW]Frank R. Drake - 1975 - Journal of Symbolic Logic 40 (1):92-93.
Gaisi Takeuti. Incompleteness theorems and versus. Logic Colloquium '96, Proceedings of the colloquium held in San Sebastián, Spain, July 9–15, 1996, edited by J. M. Larrazabal, D. Lascar, and G. Mints, Lecture notes in logic, no. 12, Springer, Berlin, Heidelberg, New York, etc., 1998, pp. 247–261. - Gaisi Takeuti. Gödel sentences of bounded arithmetic. The journal of symbolic logic, vol. 65 , pp. 1338–1346. [REVIEW]Arnold Beckmann - 2002 - Bulletin of Symbolic Logic 8 (3):433-435.
Morley Michael. Partitions and models. Proceedings of the summer school in logic, Leeds, 1967, edited by Löb M. H., Lecture notes in mathematics, no. 70, Springer-Verlag, Berlin, Heidelberg, and New York, 1968, pp. 109–158. [REVIEW]Wilfrid Hodges - 1974 - Journal of Symbolic Logic 39 (1):182-183.
John R. Steel. The core model iterability problem. Lecture notes in logic, no. 8. Springer, Berlin, Heidelberg, New York, etc., 1996, iii + 112 pp. [REVIEW]Ernest Schimmerling - 1998 - Journal of Symbolic Logic 63 (1):326-328.
On fixed-point logic with counting.Jörg Flum & Martin Grohe - 2000 - Journal of Symbolic Logic 65 (2):777-787.
On Fixed-Point Logic with Counting.Jorg Flum & Martin Grohe - 2000 - Journal of Symbolic Logic 65 (2):777-787.
Harel David. First-order dynamic logic. Lecture notes in computer science, vol. 68. Springer-Verlag, Berlin, Heidelberg, and New York, 1979, X + 133 pp. [REVIEW]Jerzy Tiuryn - 1982 - Journal of Symbolic Logic 47 (2):453-454.
Fixed point logics.Anuj Dawar & Yuri Gurevich - 2002 - Bulletin of Symbolic Logic 8 (1):65-88.
Stevo Todorcevic. Topics in topology. Lecture notes in mathematics, vol. 1652. Springer, Berlin, Heidelberg, New York, etc., 1997, viii + 153 pp. [REVIEW]Ilijas Farah - 2002 - Bulletin of Symbolic Logic 8 (4):526-528.
William J. Mitchell and John R. Steel. Fine structure and iteration trees. Lecture notes in logic, no. 3. Springer-Verlag, Berlin, Heidelberg, New York, etc., 1994, v + 130 pp. [REVIEW]P. D. Welch - 1997 - Journal of Symbolic Logic 62 (4):1491-1493.

Analytics

Added to PP
2014-03-29

Downloads
26 (#595,031)

6 months
9 (#290,637)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references