Jon Barwise. Applications of strict predicates to infinitary logic. The journal of symbolic logic, vol. 34 , pp. 409–423

Journal of Symbolic Logic 39 (2):335-336 (1974)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272663

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

Review: Jon Barwise, Applications of Strict $Pi^1_1$ Predicates to Infinitary Logic. [REVIEW]N. J. Cutland - 1974 - Journal of Symbolic Logic 39 (2):335-336.
Applications of strict π11 predicates to infinitary logic.Jon Barwise - 1969 - Journal of Symbolic Logic 34 (3):409 - 423.
Applications of Strict Π 1 1 Predicates to Infinitary Logic.Jon Barwise - 1974 - Journal of Symbolic Logic 39 (2):335-336.
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.
Infinitary Logic and Admissible Sets.Jon Barwise - 1971 - Journal of Symbolic Logic 36 (1):156-157.
Infinitary logic and admissible sets.Jon Barwise - 1969 - Journal of Symbolic Logic 34 (2):226-252.
Review: Jon Barwise, Infinitary Logic and Admissible Sets. [REVIEW]E. G. K. Lopez-Escobar - 1971 - Journal of Symbolic Logic 36 (1):156-157.
An Interpolation Theorem for First Order Logic with Infinitary Predicates.Tarek Sayed-Ahmed - 2007 - Logic Journal of the IGPL 15 (1):21-32.
A Complete First-Order Logic with Infinitary Predicates.H. J. Keisler - 1966 - Journal of Symbolic Logic 31 (2):269-269.
Barwise: Infinitary logic and admissible sets.H. Jerome Keisler & Julia F. Knight - 2004 - Bulletin of Symbolic Logic 10 (1):4-36.
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.
Löwenheim-Skolem and Interpolation Theorems in Infinitary Languages.David W. Kueker & K. Jon Barwise - 1986 - Journal of Symbolic Logic 51 (1):232-234.
Review: Carol Karp, Jon Barwise, An Algebraic Proof of the Barwise Compactness Theorem. [REVIEW]N. J. Cutland - 1974 - Journal of Symbolic Logic 39 (2):335-335.
Game logic and its applications I.Mamoru Kaneko & Takashi Nagashima - 1996 - Studia Logica 57 (2-3):325 - 354.

Analytics

Added to PP
2016-06-30

Downloads
18 (#836,359)

6 months
2 (#1,205,524)

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