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 [Book Review]

Journal of Symbolic Logic 34 (1):129-130 (1969)
  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,322

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

Some applications of infinitely long formulas.H. Jerome Keisler - 1965 - Journal of Symbolic Logic 30 (3):339-349.
Review: Simon Kochen, J. W. Addison, Leon Henkin, Alfred Tarski, Topics in the Theory of Definition; Walter Felscher, On Criteria of Definability. [REVIEW]H. Jerome Keisler - 1969 - Journal of Symbolic Logic 34 (2):300-301.
Review: Dana Scott, J. W. Addison, Leon Henkin, Alfred Tarski, Logic with Denumerably Long Formulas and Finite Strings of Quantifiers. [REVIEW]Perry Smith - 1971 - Journal of Symbolic Logic 36 (1):157-158.
Review: L. Henkin, Some Remarks on Infinitely Long Formulas; Carol R. Karp, Independence Proofs in Predicate Logic with Infinitely Long Expressions. [REVIEW]Thomas Frayne - 1965 - Journal of Symbolic Logic 30 (1):96-97.
Some remarks on infinitely long formulas.L. Henkin - 1961 - Journal of Symbolic Logic 30 (1):167--183.
Review: H. Jerome Keisler, Good Ideals in Fields of Sets; H. Jerome Keisler, Ideals with Prescribed Degree of Goodness. [REVIEW]Victor Harnik - 1974 - Journal of Symbolic Logic 39 (2):332-333.
Review: H. Jerome Keisler, Elementary Calculus; H. Jerome Keisler, Foundations of Infinitesimal Calculus. [REVIEW]Peter A. Loeb - 1981 - Journal of Symbolic Logic 46 (3):673-676.
Theory of models with generalized atomic formulas.H. Jerome Keisler - 1960 - Journal of Symbolic Logic 25 (1):1-26.
Review: Carol R. Karp, Finite-Quantifier Equivalence. [REVIEW]H. Jerome Keisler - 1971 - Journal of Symbolic Logic 36 (1):158-158.
Shrinking games and local formulas.H. Jerome Keisler & Wafik Boulos Lotfallah - 2004 - Annals of Pure and Applied Logic 128 (1-3):215-225.
Review: J. R. Shoenfield, J. W. Addison, Leon Henkin, Alfred Tarski, Applications of Model Theory to Degrees of Unsolvability. [REVIEW]Gerald E. Sacks - 1972 - Journal of Symbolic Logic 37 (3):610-611.
Craig interpolation for networks of sentences.H. Jerome Keisler & Jeffrey M. Keisler - 2012 - Annals of Pure and Applied Logic 163 (9):1322-1344.
Observing, reporting, and deciding in networks of sentences.H. Jerome Keisler & Jeffrey M. Keisler - 2014 - Annals of Pure and Applied Logic 165 (3):812-836.

Analytics

Added to PP
2013-11-22

Downloads
18 (#808,169)

6 months
1 (#1,533,009)

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