Infinitary logic: in memoriam Carol Karp : a collection of papers by various authors / D. W. Kueker

Auteur secondaire : Kueker, David W., 1943-, Editeur scientifique • Karp, Carol Ruth, 1926-1972, Personne honoréeType de document : Livre numériqueCollection : Lecture notes in mathematics, 492Langue : anglais.Éditeur : Berlin : Springer-Verlag, 1975ISBN: 9783540074199.ISSN: 1617-9692.Sujet MSC : 03C75, Mathematical logic and foundations - Model theory, Other infinitary logic
03Cxx, Mathematical logic and foundations - Model theory
03C30, Mathematical logic and foundations - Model theory, Other model constructions
01A70, History of mathematics and mathematicians - Biographies, obituaries, personalia, bibliographies
00B30, Conference proceedings and collections of papers, FestschriftenEn-ligne : Springerlink
Tags from this library: No tags from this library for this title. Log in to add tags.
No physical items for this record

Table of Contents: David W. Kueker, Acknowledgements (p. vi); E. G. K. López-Escobar, Introduction (pp. 1–16); David W. Kueker, Back-and-forth arguments and infinitary logics (pp. 17–71); Judy Green, Consistency properties for finite quantifier languages (pp. 73–123); Ellen Cunningham, Chain models: applications of consistency properties and back-and-forth techniques in infinite-quantifier languages (pp. 125–142); John Gregory, On a finiteness condition for infinitary languages (pp. 143–206).

There are no comments on this title.

to post a comment.