Infinitary logic: in memoriam Carol Karp: a collection of papers by various authors

& (eds.)
New York: Springer Verlag (1975)
  Copy   BIBTEX

Abstract

López-Escobar, E. G. K. Introduction.--Kueker, D. W. Back-and-forth arguments and infinitary logics.--Green, J. Consistency properties for finite quantifier languages.--Cunningham, E. Chain models.--Gregory, J. On a finiteness condition for infinitary languages.

Categories

Keywords

Reprint years

Call number

QA9.37.L28 no. 492

ISBN(s)

0387074198   9780387074191

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,197

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

Infinitary propositional relevant languages with absurdity.Guillermo Badia - 2017 - Review of Symbolic Logic 10 (4):663-681.
Review: J. Slominski, Theory of Models with Infinitary Operations and Relations. [REVIEW]Carol R. Karp - 1966 - Journal of Symbolic Logic 31 (1):131-131.
Nonaxiomatizability results for infinitary systems.Carol Karp - 1967 - Journal of Symbolic Logic 32 (3):367-384.
Nonaxiomatizability Results for Infinitary Systems.Carol Karp - 1968 - Journal of Symbolic Logic 33 (3):478-479.
Review: H. J. Keisler, A Complete First-Order Logic with Infinitary Predicates. [REVIEW]Carol Karp - 1966 - Journal of Symbolic Logic 31 (2):269-269.
Keisler H. J.. A complete first-order logic with infinitary predicates. Fundamenta mathematicae, vol. 52 , pp. 177–203.Carol Karp - 1966 - Journal of Symbolic Logic 31 (2):269-269.
Model theory for infinitary logic.H. Jerome Keisler - 1971 - Amsterdam,: North-Holland Pub. Co..
Karp Carol. An algebraic proof of the Barwise compactness theorem. The syntax and semantics of infinitary languages, edited by Barwise Jon, Lecture notes in mathematics, no. 72, Springer-Verlag, Berlin, Heidelberg, and New York, 1968, pp. 80–95. [REVIEW]N. J. Cutland - 1974 - Journal of Symbolic Logic 39 (2):335-335.
Large infinitary languages: model theory.M. A. Dickmann - 1975 - New York: American Elsevier Pub. Co..
Lectures on infinitary model theory.David Marker - 2016 - New York, NY, USA: Cambridge University Press.
Słomiński J.. Theory of models with infinitary operations and relations. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 6 (1958), pp. 449–456. [REVIEW]Carol R. Karp - 1966 - Journal of Symbolic Logic 31 (1):131-131.
Infinitary languages.John Bell - manuscript
Carol Karp. Nonaxiomatizability results for infinitary systems. The journal of symbolic logic, vol. 32 , pp. 367–384.H. Jerome Keisler - 1968 - Journal of Symbolic Logic 33 (3):478-479.
Infinitary Modal Logic and Generalized Kripke Semantics.Pierluigi Minari - 2011 - Annali Del Dipartimento di Filosofia 17:135-166.
Languages with Expressions of Infinite Length. [REVIEW]J. M. P. - 1965 - Review of Metaphysics 19 (1):154-154.

Analytics

Added to PP
2023-06-15

Downloads
9 (#1,258,077)

6 months
7 (#438,648)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references