Haim Gaifman. Pointers to truth. The journal of philosophy, vol. 89 , pp. 223–261

Journal of Symbolic Logic 58 (4):1462-1463 (1993)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2275155

Links

PhilArchive



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

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: Haim Gaifman, Pointers to Truth. [REVIEW]Andre Chapuis - 1993 - Journal of Symbolic Logic 58 (4):1462-1463.
Haim Gaifman. Models and types of Peano's arithmetic. Annals of mathematical logic, vol. 9, pp. 223–306. - Julia F. Knight. Omitting types in set theory and arithmetic. The journal of symbolic logic, vol. 41 , pp. 25–32. - Julia F. Knight. Hanf numbers for omitting types over particular theories. The journal of symbolic logic, vol. 41 , pp. 583–588. - Fred G. Abramson and Leo A. Harrington. Models without indiscernibles. The journal of symbolic logic, vol. 41 , vol. 43 , pp. 572–600. [REVIEW]J. P. Ressayre - 1983 - Journal of Symbolic Logic 48 (2):484-485.
Andrew Adler. Extensions of non-standard models of number theory. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 15 , pp. 289–290. - Haim Gaifman. A note on models and submodels of arithmetic. Conference in mathematical logic—London '70, edited by Wilfrid Hodges, Lecture notes in mathematics, no. 255, Springer-Verlag, Berlin, Heidelberg, and New York, 1972, pp. 128–144. [REVIEW]C. Smorynski - 1975 - Journal of Symbolic Logic 40 (2):244-245.
Weiss Paul. The paradox of necessary truth, once more. Philosophical studies , vol. 7 , pp. 88–89.Alonzo Church - 1958 - Journal of Symbolic Logic 23 (4):442-442.
Review: Andrew Adler, Extensions of Non-Standard Models of Number Theory; Haim Gaifman, A Note on Models and Submodels of Arithmetic. [REVIEW]C. Smorynski - 1975 - Journal of Symbolic Logic 40 (2):244-245.
Saito Setsuo. Truth value assignment in predicate calculus of first order. Notre Dame journal of formal logic, vol. 4 no. 3 , pp. 216–223. [REVIEW]F. C. Oglesby - 1966 - Journal of Symbolic Logic 31 (2):268-268.
Saul A. Kripke. An extension of a theorem of Gaifman-Hales-Solovay. Fundamenta mathematicae, vol. 61 , pp. 29–32.Haim Gaifman - 1969 - Journal of Symbolic Logic 34 (1):131-132.
Bergmann Gustav. Remarks on realism. Philosophy of science, vol. 13 , pp 261–273.Carl G. Hempel - 1947 - Journal of Symbolic Logic 12 (3):99-99.
Prior A. N.. Correspondence theory of truth. The encyclopedia of philosophy, edited by Edwards Paul, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 2, pp. 223–232. [REVIEW]Benson Mates - 1970 - Journal of Symbolic Logic 35 (2):304.
Reviews. H. Meyer. On definitions in symbolic logic. Synthese, vol. 5 , pp. 261–266, 353–361.Frederic B. Fitch - 1948 - Journal of Symbolic Logic 13 (2):122-123.

Analytics

Added to PP
2016-06-30

Downloads
11 (#351,772)

6 months
4 (#1,635,958)

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