On stability in finite models

Archive for Mathematical Logic 39 (2):89-102 (2000)
  Copy   BIBTEX

Abstract

We search for a set-up in which results from the theory of infinite models hold for finite models. As an example we prove results from stability theory

Categories

Keywords

Reprint years

DOI

10.1007/s001530050005

Links

PhilArchive



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

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

Theories of arithmetics in finite models.Michał Krynicki & Konrad Zdanowski - 2005 - Journal of Symbolic Logic 70 (1):1-28.
Finite and infinite support in nominal algebra and logic: nominal completeness theorems for free.Murdoch J. Gabbay - 2012 - Journal of Symbolic Logic 77 (3):828-852.
Finite variable logic, stability and finite models.Marko Djordjević - 2001 - Journal of Symbolic Logic 66 (2):837-858.
Amalgamation properties and finite models in L n -theories.John Baldwin & Olivier Lessmann - 2002 - Archive for Mathematical Logic 41 (2):155-167.
The stability function of a theory.H. Jerome Keisler - 1978 - Journal of Symbolic Logic 43 (3):481-486.
On Preservation of Stability for Finite Extensions of Abelian Groups.Frieder Haug - 1994 - Mathematical Logic Quarterly 40 (1):14-26.
Modal logic over finite structures.Eric Rosen - 1997 - Journal of Logic, Language and Information 6 (4):427-439.
The model theory of finitely generated finite-by-Abelian groups.Francis Oger - 1984 - Journal of Symbolic Logic 49 (4):1115-1124.
External automorphisms of ultraproducts of finite models.Philipp Lücke & Saharon Shelah - 2012 - Archive for Mathematical Logic 51 (3-4):433-441.
Review: R. Harrop, H. Arnold Schmidt, K. Schutte, H.-J. Thiele, Some Forms of Models of Propositional Calculi; Ronald Harrop, On the Equivalence for Non-Derivability Testing of Finite Smiley Models and Finite Modified Smiley Models. [REVIEW]Dolph Ulrich - 1975 - Journal of Symbolic Logic 40 (2):251-251.
A Note on Recursive Models of Set Theories.Domenico Zambella & Antonella Mancini - 2001 - Notre Dame Journal of Formal Logic 42 (2):109-115.
A new spectrum of recursive models using an amalgamation construction.Uri Andrews - 2011 - Journal of Symbolic Logic 76 (3):883 - 896.
Inconsistent models of arithmetic part I: Finite models. [REVIEW]Graham Priest - 1997 - Journal of Philosophical Logic 26 (2):223-235.
Elements of Finite Model Theory.Leonid Libkin - 2004 - Springer.

Analytics

Added to PP
2013-11-23

Downloads
16 (#851,323)

6 months
5 (#526,961)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Finite variable logic, stability and finite models.Marko Djordjević - 2001 - Journal of Symbolic Logic 66 (2):837-858.
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.
Forking in Finite Models.Tapani Hyttinen - 2015 - Notre Dame Journal of Formal Logic 56 (2):307-320.
Finite and Infinite Model Theory-A Historical Perspective.John Baldwin - 2000 - Logic Journal of the IGPL 8 (5):605-628.

Add more citations

References found in this work

No references found.

Add more references