A Complete First-Order Logic with Infinitary Predicates

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

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2269833

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,867

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: 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.
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.
An Interpolation Theorem for First Order Logic with Infinitary Predicates.Tarek Sayed-Ahmed - 2007 - Logic Journal of the IGPL 15 (1):21-32.
Review: H. Jerome Keisler, First Order Properties of Pairs of Cardinals. [REVIEW]A. Mostowski - 1968 - Journal of Symbolic Logic 33 (1):122-122.
Keisler H. Jerome. Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers. Studies in logic and the foundations of mathematics, vol. 62, North-Holland Publishing Company, Amsterdam and London 1971, x + 208 pp. [REVIEW]E. G. K. López-Escobar - 1973 - Journal of Symbolic Logic 38 (3):522-523.
A Complete, Infinitary Axiomatization of Weak Second-Order Logic.E. G. K. Lopez-Escobar - 1970 - Journal of Symbolic Logic 35 (3):467-467.
Review: H. J. Keisler, B. van Rootselaar, J. F. Staal, Models with Orderings. [REVIEW]H.-D. Ebbinghaus - 1974 - Journal of Symbolic Logic 39 (2):334-335.
Review: C. C. Chang, H. J. Keisler, Model Theory. [REVIEW]Michael Makkai - 1991 - Journal of Symbolic Logic 56 (3):1096-1097.
Review: H. J. Keisler, A. Tarski, From Accessible to Inaccessible Cardinals. [REVIEW]Azriel Levy - 1967 - Journal of Symbolic Logic 32 (3):411-411.

Analytics

Added to PP
2015-02-05

Downloads
10 (#1,204,939)

6 months
4 (#1,004,663)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Varying interpolation and amalgamation in polyadic MV-algebras.Tarek Sayed Ahmed - 2015 - Journal of Applied Non-Classical Logics 25 (2):140-192.

Add more citations

References found in this work

No references found.

Add more references