Finite and Infinite Model Theory-A Historical Perspective

Logic Journal of the IGPL 8 (5):605-628 (2000)
  Copy   BIBTEX

Abstract

We describe the progress of model theory in the last half century from the standpoint of how finite model theory might develop

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/8.5.605

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,937

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

Some aspects of model theory and finite structures.Eric Rosen - 2002 - Bulletin of Symbolic Logic 8 (3):380-403.
Model theory of finite and pseudofinite groups.Dugald Macpherson - 2018 - Archive for Mathematical Logic 57 (1-2):159-184.
Computational model theory: an overview.M. Vardi - 1998 - Logic Journal of the IGPL 6 (4):601-624.
Model theory of finite fields and pseudo-finite fields.Zoé Chatzidakis - 1997 - Annals of Pure and Applied Logic 88 (2-3):95-108.
A Short Note on the Early History of the Spectrum Problem and Finite Model Theory.Andrea Reichenberger - forthcoming - History and Philosophy of Logic:1-10.
The metamathematics of random graphs.John T. Baldwin - 2006 - Annals of Pure and Applied Logic 143 (1-3):20-28.
Model Theory of Fields with Finite Group Scheme Actions.Daniel Max Hoffmann & Piotr Kowalski - 2023 - Journal of Symbolic Logic 88 (4):1443-1468.
Finitely generated submodels of an uncountably categorical homogeneous structure.Tapani Hyttinen - 2004 - Mathematical Logic Quarterly 50 (1):77.
On the Finite Model Property of Weak Intuitionistic Tense Logic.Yu Peng, Zhe Lin & Fei Liang - 2021 - In Sujata Ghosh & Thomas Icard (eds.), Logic, Rationality, and Interaction: 8th International Workshop, Lori 2021, Xi’an, China, October 16–18, 2021, Proceedings. Springer Verlag. pp. 174-182.
Finite conformal hypergraph covers and Gaifman cliques in finite structures.Ian Hodkinson & Martin Otto - 2003 - Bulletin of Symbolic Logic 9 (3):387-405.

Analytics

Added to PP
2014-01-20

Downloads
48 (#458,202)

6 months
5 (#1,039,842)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

A new strongly minimal set.Ehud Hrushovski - 1993 - Annals of Pure and Applied Logic 62 (2):147-166.
[Introduction].Wilfrid Hodges - 1988 - Journal of Symbolic Logic 53 (1):1.
On strongly minimal sets.J. T. Baldwin & A. H. Lachlan - 1971 - Journal of Symbolic Logic 36 (1):79-96.
Stable generic structures.John T. Baldwin & Niandong Shi - 1996 - Annals of Pure and Applied Logic 79 (1):1-35.
Classification Theory and the Number of Nonisomorphic Models.S. Shelah - 1982 - Journal of Symbolic Logic 47 (3):694-696.

View all 16 references / Add more references