Finite variable logic, stability and finite models

Journal of Symbolic Logic 66 (2):837-858 (2001)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

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

Through your library

Similar books and articles

About finite predicate logic.Herman Dishkant - 1986 - Studia Logica 45 (4):405 - 414.
Modal logic over finite structures.Eric Rosen - 1997 - Journal of Logic, Language and Information 6 (4):427-439.
Theories of arithmetics in finite models.Michał Krynicki & Konrad Zdanowski - 2005 - Journal of Symbolic Logic 70 (1):1-28.
On First-Order Sentences without Finite Models.Marko Djordjević - 2004 - Journal of Symbolic Logic 69 (2):329 - 339.
The k-variable property is stronger than h-dimension K.Ian Hodkinson & András Simon - 1997 - Journal of Philosophical Logic 26 (1):81-101.
Hereditary undecidability of some theories of finite structures.Ross Willard - 1994 - Journal of Symbolic Logic 59 (4):1254-1262.
Rectangular games.Yde Venema - 1998 - Journal of Symbolic Logic 63 (4):1549-1564.

Analytics

Added to PP
2009-01-28

Downloads
29 (#474,681)

6 months
2 (#670,035)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Some aspects of model theory and finite structures.Eric Rosen - 2002 - Bulletin of Symbolic Logic 8 (3):380-403.
Super/rosy L k -theories and classes of finite structures.Cameron Donnay Hill - 2013 - Annals of Pure and Applied Logic 164 (10):907-927.

Add more citations

References found in this work

Model Theory.C. C. Chang & H. Jerome Keisler - 1992 - Studia Logica 51 (1):154-155.
ℵ0-Categorical, ℵ0-stable structures.G. Cherlin, L. Harrington & A. H. Lachlan - 1985 - Annals of Pure and Applied Logic 28 (2):103-135.
Deux ou trois choses que je sais de ln.Bruno Poizat - 1982 - Journal of Symbolic Logic 47 (3):641 - 658.

View all 7 references / Add more references