Infinitary logic
Subtitle: in memoriam Carol Karp : a collection of papers by various authors
By: edited by D. W. Kueker.
Contributors: Karp, Carol, 1926-1972.; Kueker, D. W., 1943-
Series: Lecture notes in mathematics ; 492; Lecture notes in mathematics (Springer-Verlag) ;; 492.
Publisher: Springer-Verlag
Published: 1975
Place of publication: Berlin; New York
Language: eng
Number of pages: 206
Subjects: Karp, Carol, 1926-1972.; Infinitary languages.; Model theory.
Notes: "Biography and bibliography: Carol Ruth Karp (née, van der Velde)": p. 13-16. Includes bibliographies.
Table of contents: title: López-Escobar, E. G. K. Introduction.; title: Kueker, D. W. Back-and-forth arguments and infinitary logics.; title: Green, J. Consistency properties for finite quantifier languages.; title: Cunningham, E. Chain models.; title: Gregory, J. On a finiteness condition for infinitary languages.