On the strength of PA with a non-principal ultrafilter quantifier

Annals of the Japan Association for Philosophy of Science 8 (1):17-21 (1991)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.4288/jafpos1956.8.17

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 103,836

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

Weak Logical Constants and Second Order Definability of the Full-Strength Logical Constants.Mitsuhiro Okada - 1989 - Annals of the Japan Association for Philosophy of Science 7 (4):163-172.
Reality and Non-Reality of Physical Variables).Hisato Shirai - 2009 - Annals of the Japan Association for Philosophy of Science 18:29-43.
A Mathematical Model of Deductive and Non-Deductive Inferences.Makoto Kikuchi - 2009 - Annals of the Japan Association for Philosophy of Science 17:1-11.
Ontology Based on Non-reflexive Identity and Product Name Functor.Toshiharu Waragai - 1987 - Annals of the Japan Association for Philosophy of Science 7 (2):73-84.
Non-constructive Proofs of a Metamathematical Theorem Concerning the Consistency of Analysis and its Extension.Shôji Maehara, Toshio Nishimura & Setsuya Seki - 1960 - Annals of the Japan Association for Philosophy of Science 1 (5):269-288.
Non-principal ultrafilters, program extraction and higher-order reverse mathematics.Alexander P. Kreuzer - 2012 - Journal of Mathematical Logic 12 (1):1250002-.
Philosophy of Science in Japan 1996-2000.Takashi Iida - 2001 - Annals of the Japan Association for Philosophy of Science 10 (2):81-89.
Some Aspects of the Philosophy of Science in Japan.Hiroshi Nagai - 1956 - Annals of the Japan Association for Philosophy of Science 1 (1):63-90.
Philosophy of Science in Japan 1976-1980.Hiroshi Kurosaki - 1982 - Annals of the Japan Association for Philosophy of Science 6 (2):103-107.
Philosophy of Science in Japan, 1981-1985.Yoichiro P. Murakami - 1987 - Annals of the Japan Association for Philosophy of Science 7 (2):101-110.

Analytics

Added to PP
2014-04-04

Downloads
43 (#564,754)

6 months
4 (#979,456)

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