Nonstandard theories of quantification and identity

Journal of Symbolic Logic 35 (2):267-294 (1970)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,888

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Nonstandard logic.James R. Geiser - 1968 - Journal of Symbolic Logic 33 (2):236-250.
Nonstandard arithmetic and reverse mathematics.H. Jerome Keisler - 2006 - Bulletin of Symbolic Logic 12 (1):100-125.
On nonstandard models in higher order logic.Christian Hort & Horst Osswald - 1984 - Journal of Symbolic Logic 49 (1):204-219.
On the strength of nonstandard analysis.C. Ward Henson & H. Jerome Keisler - 1986 - Journal of Symbolic Logic 51 (2):377-386.
Applied Nonstandard Analysis.Martin Davis - 1978 - Journal of Symbolic Logic 43 (2):383-384.
Standard foundations for nonstandard analysis.David Ballard & Karel Hrbacek - 1992 - Journal of Symbolic Logic 57 (2):741-748.
Nonstandard arithmetic and recursive comprehension.H. Keisler - 2010 - Annals of Pure and Applied Logic 161 (8):1047-1062.
The isomorphism property for nonstandard universes.James H. Schmerl - 1995 - Journal of Symbolic Logic 60 (2):512-516.

Analytics

Added to PP
2009-01-28

Downloads
45 (#492,483)

6 months
10 (#404,653)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Free Logics are Cut-Free.Andrzej Indrzejczak - 2021 - Studia Logica 109 (4):859-886.
The permutation principle in quantificational logic.Kit Fine - 1983 - Journal of Philosophical Logic 12 (1):33 - 37.

Add more citations

References found in this work

Semantical Considerations on Modal Logic.Saul Kripke - 1963 - Acta Philosophica Fennica 16:83-94.
Some things do not exist.R. Routley - 1966 - Notre Dame Journal of Formal Logic 7 (3):251-276.
Nondesignating singular terms.Hugues Leblanc - 1959 - Philosophical Review 68 (2):239-243.
The Completeness of Free Logic.B. C. van Fraassen - 1966 - Mathematical Logic Quarterly 12 (1):219-234.

View all 11 references / Add more references