Dawar: Types and Indescernibles in Finite Models

previous :: next

Types and Indescernibles in Finite Models

A. Dawar

Source: Johann A. Makowsky, Elena V. Ravve, eds., Logic Colloquium '95: Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9-18, 1995 (Berlin: Springer-Verlag, 1998), 51-65.

Full-text: Open access

PDF File (1837 KB)

Links and Identifiers

Permanent link to this document: http://projecteuclid.org/euclid.lnl/1235415899

previous :: next

back to Table of Contents

2009 © Association for Symbolic Logic

Lecture Notes in Logic

ASL LNL Home

Lecture Notes in Logic