Review: H. J. Keisler, A Complete First-Order Logic with Infinitary Predicates [Book Review]

Journal of Symbolic Logic 31 (2):269-269 (1966)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,829

External links

  • This entry has no external links. Add one.
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: E. G. K. Lopez-Escobar, A Complete, Infinitary Axiomatization of Weak Second-Order Logic. [REVIEW]Wolfram Schwabhauser - 1970 - Journal of Symbolic Logic 35 (3):467-467.
Review: H. Jerome Keisler, Model Theory for Infinitary Logic. Logic with Countable Conjunctions and Finite Quantifiers. [REVIEW]E. G. K. López-Escobar - 1973 - Journal of Symbolic Logic 38 (3):522-523.
From finitary to infinitary second‐order logic.George Weaver & Irena Penev - 2005 - Mathematical Logic Quarterly 51 (5):499-506.
Model theory for infinitary logic.H. Jerome Keisler - 1971 - Amsterdam,: North-Holland Pub. Co..
$L_a(\finv)$.Kim Bruce & H. J. Keisler - 1979 - Journal of Symbolic Logic 44 (1):15 - 28.
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.
Barwise: Infinitary logic and admissible sets.H. Jerome Keisler & Julia F. Knight - 2004 - Bulletin of Symbolic Logic 10 (1):4-36.
Minimal predicates, fixed-points, and definability.Johan van Benthem - 2005 - Journal of Symbolic Logic 70 (3):696-712.
Minimal Predicates. Fixed-Points, and Definability.Johan Van Benthem - 2005 - Journal of Symbolic Logic 70 (3):696 - 712.
An Infinitary Extension of Jankov’s Theorem.Yoshihito Tanaka - 2007 - Studia Logica 86 (1):111 - 131.
Review: H. Jerome Keisler, J. W. Addison, Leon Henkin, Alfred Tarski, Finite Approximations of Infinitely Long Formulas; H. Jerome Keisler, Some Applications of Infinitely Long Formulas. [REVIEW]Carol Karp - 1969 - Journal of Symbolic Logic 34 (1):129-130.
Rudin-Keisler Posets of Complete Boolean Algebras.A. Pinus, P. Jipsen & H. Rose - 2001 - Mathematical Logic Quarterly 47 (4):447-454.

Analytics

Added to PP
2013-11-22

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
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