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

Links

PhilArchive



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

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

On Infinite Number and Distance.Jeremy Gwiazda - 2012 - Constructivist Foundations 7 (2):126-130.
The problem of infinite matter in steady-state cosmology.Richard Schlegel - 1965 - Philosophy of Science 32 (1):21-31.
Infinite Versions of Some Problems from Finite Complexity Theory.Jeffry L. Hirst & Steffen Lempp - 1996 - Notre Dame Journal of Formal Logic 37 (4):545-553.
Relación metafísica de finito E Infinito en nicolás de cusa.Angel Luis Gonzáles - 2012 - Giornale di Metafisica 1.
Finite conformal hypergraph covers and Gaifman cliques in finite structures.Ian Hodkinson & Martin Otto - 2003 - Bulletin of Symbolic Logic 9 (3):387-405.
Fields of finite Morley rank.Frank Wagner - 2001 - Journal of Symbolic Logic 66 (2):703-706.
A new applied approach for executing computations with infinite and infinitesimal quantities.Yaroslav D. Sergeyev - 2008 - Informatica 19 (4):567-596.
Theories of arithmetics in finite models.Michał Krynicki & Konrad Zdanowski - 2005 - Journal of Symbolic Logic 70 (1):1-28.
Some Normal Extensions of K4.3.Ming Xu - 2013 - Studia Logica 101 (3):583-599.
Infinite numbers are large finite numbers.Jeremy Gwiazda - unknown
How to take advantage of the blur between the finite and the infinite.Pierre Cartier - 2012 - Logica Universalis 6 (1-2):217-226.
Finite mathematics.Shaughan Lavine - 1995 - Synthese 103 (3):389 - 420.
On the production of subjectivity: five diagrams of the finite-infinite relation.Simon O'Sullivan - 2012 - New York: Palgrave-Macmillan.
Substandard models of finite set theory.Laurence Kirby - 2010 - Mathematical Logic Quarterly 56 (6):631-642.
Elements of Finite Model Theory.Leonid Libkin - 2004 - Springer.

Analytics

Added to PP
2014-01-20

Downloads
38 (#395,329)

6 months
6 (#403,662)

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.
[Introduction].Wilfrid Hodges - 1986 - Journal of Symbolic Logic 51 (4):865.
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.

View all 19 references / Add more references