On nonstandard models in higher order logic

&
Journal of Symbolic Logic 49 (1):204-219 (1984)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2274103

Other Versions

No versions found

Links

PhilArchive

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

Nonstandard natural number systems and nonstandard models.Shizuo Kamo - 1981 - Journal of Symbolic Logic 46 (2):365-376.
Nonstandard characterizations of recursive saturation and resplendency.Stuart T. Smith - 1987 - Journal of Symbolic Logic 52 (3):842-863.
Topological completeness for higher-order logic.S. Awodey & C. Butz - 2000 - Journal of Symbolic Logic 65 (3):1168-1182.
Higher-order automated theorem proving.Michael Kohlhase - unknown
Inconsistent nonstandard arithmetic.Chris Mortensen - 1987 - Journal of Symbolic Logic 52 (2):512-518.
Working with nonstandard models.Harvey Friedman - manuscript
A proof of nominalism: An exercise in successful reduction in logic.Jaakko Hintikka - 2009 - In Alexander Hieke & Hannes Leitgeb, Reduction: Between the Mind and the Brain. Frankfurt: Ontos Verlag. pp. 1-14.
Second-order non-nonstandard analysis.J. M. Henle - 2003 - Studia Logica 74 (3):399 - 426.

Analytics

Added to PP
2009-01-28

Downloads
138 (#317,952)

6 months
45 (#187,189)

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

Add more references