Ranked partial structures

Carlson, Timothy J.

J. Symbolic Logic, Tome 68 (2003) no. 1, p. 1109-1144 / Harvested from Project Euclid

Résumé

The theory of ranked partial structures allows a reinterpretation of several of the standard results of model theory and first-order logic and is intended to provide a proof-theoretic method which allows for the intuitions of model theory. A version of the downward Löwenheim-Skolem theorem is central to our development. In this paper we will present the basic theory of ranked partial structures and their logic including an appropriate version of the completeness theorem.

Publié le : 2003-12-14
Classification:

@article{1067620176,
     author = {Carlson, Timothy J.},
     title = {Ranked partial structures},
     journal = {J. Symbolic Logic},
     volume = {68},
     number = {1},
     year = {2003},
     pages = { 1109-1144},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1067620176}
}

Carlson, Timothy J. Ranked partial structures. J. Symbolic Logic, Tome 68 (2003) no. 1, pp.  1109-1144. http://gdmltest.u-ga.fr/item/1067620176/