Review: H. Jerome Keisler, Model Theory for Infinitary Logic. Logic with Countable Conjunctions and Finite Quantifiers [Book Review]

Journal of Symbolic Logic 38 (3):522-523 (1973)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273064

Links

PhilArchive



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

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

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.
Review: E. G. K. Lopez-Escobar, An Interpolation Theorem for Denumerably Long Formulas; E. G. K. Lopez-Escobar, Universal Formulas in the Infinitary Language $L_{alpha beta}$. [REVIEW]Erwin Engeler - 1969 - Journal of Symbolic Logic 34 (2):301-302.
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: E. G. K. Lopez-Escobar, On Defining Well-Orderings; E. G. K. Lopez-Escobar, An Addition to "On Defining Well-Orderings.". [REVIEW]Jerome Malitz - 1968 - Journal of Symbolic Logic 33 (1):123-123.
E. G. K. Lopez-Escobar. A complete, infinitary axiomatization of weak second-order logic. Fundamenta mathematicae, vol. 61 , pp. 93–103. [REVIEW]Wolfram Schwabhäuser - 1970 - Journal of Symbolic Logic 35 (3):467.
Review: E. G. K. Lopez-Escobar, A Non-Interpolation Theorem. [REVIEW]H. B. Enderton - 1975 - Journal of Symbolic Logic 40 (3):457-458.
Review: E. G. K. Lopez-Escobar, On a Theorem of J. I. Malitz. [REVIEW]Martin Helling - 1970 - Journal of Symbolic Logic 35 (4):586-586.
Review: H. Jerome Keisler, Model Theory. [REVIEW]C. C. Chang - 1973 - Journal of Symbolic Logic 38 (4):648-648.
Review: H. Jerome Keisler, Ultraproducts of Finite Sets. [REVIEW]James R. Geiser - 1970 - Journal of Symbolic Logic 35 (4):586-586.
E. G. K. Lopez-Escobar. An interpolation theorem for denumerably long formulas. Fundamenta mathematicae, vol. 57 no. 3 (1965), pp. 253–257. - E. G. K. Lopez-Escobar. Universal formulas in the infinitary language L αβ. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 13 (1965), pp. 383–388. [REVIEW]E. G. K. Lopez-Escobar - 1969 - Journal of Symbolic Logic 34 (2):301-302.

Analytics

Added to PP
2013-11-22

Downloads
5 (#1,562,871)

6 months
28 (#112,168)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

A two‐dimensional metric temporal logic.Stefano Baratella & Andrea Masini - 2020 - Mathematical Logic Quarterly 66 (1):7-19.
Ultrapowers without the axiom of choice.Mitchell Spector - 1988 - Journal of Symbolic Logic 53 (4):1208-1219.
Empiricism, Probability, and Knowledge of Arithmetic.Sean Walsh - 2014 - Journal of Applied Logic 12 (3):319–348.

Add more citations

References found in this work

No references found.

Add more references