Kazuyuki Tanaka. The Galvin–Prikry theorem and set existence axioms. Annals of pure and applied logic, vol. 42 , pp. 81–104 [Book Review]

Journal of Symbolic Logic 56 (1):334 (1991)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2274926

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,752

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

The Galvin-Prikry theorem and set existen axioms.Kazuyuki Tanaka - 1989 - Annals of Pure and Applied Logic 42 (1):81-104.
Review: Kazuyuki Tanaka, The Galvin-Prikry Theorem and Set Existence Axioms. [REVIEW]F. R. Drake - 1991 - Journal of Symbolic Logic 56 (1):334-334.
Borel partitions of infinite subtrees of a perfect tree.A. Louveau, S. Shelah & B. Veličković - 1993 - Annals of Pure and Applied Logic 63 (3):271-281.
Borel partitions of infinite subtrees of a perfect tree.A. Louveau, S. Shelah & B. Velikovi - 1993 - Annals of Pure and Applied Logic 63 (3):271-281.
The self-embedding theorem of WKL0 and a non-standard method.Kazuyuki Tanaka - 1997 - Annals of Pure and Applied Logic 84 (1):41-49.
Fixed point theory in weak second-order arithmetic.Naoki Shioji & Kazuyuki Tanaka - 1990 - Annals of Pure and Applied Logic 47 (2):167-188.
Which set existence axioms are needed to prove the separable Hahn-Banach theorem?Douglas K. Brown & Stephen G. Simpson - 1986 - Annals of Pure and Applied Logic 31:123-144.
Mathias–Prikry and Laver–Prikry type forcing.Michael Hrušák & Hiroaki Minami - 2014 - Annals of Pure and Applied Logic 165 (3):880-894.
Countable algebra and set existence axioms.Harvey M. Friedman - 1983 - Annals of Pure and Applied Logic 25 (2):141.
Model existence in non-compact modal logic.Yoshihito Tanaka - 2001 - Studia Logica 67 (1):61-73.
Weak axioms of determinacy and subsystems of analysis II.Kazuyuki Tanaka - 1991 - Annals of Pure and Applied Logic 52 (1-2):181-193.
Simpson, SG, Tanaka, K. and Yamazaki, T., Some conserva.K. Tanaka - 2002 - Annals of Pure and Applied Logic 118:249.
Set existence axioms for general (not necessarily countable) stability theory.Victor Harnik - 1987 - Annals of Pure and Applied Logic 34 (3):231-243.
Borel sets and Ramsey's theorem.Fred Galvin & Karel Prikry - 1973 - Journal of Symbolic Logic 38 (2):193-198.
On a problem of Gillman and Keisler.Karel Prikry - 1970 - Annals of Mathematical Logic 2 (2):179.

Analytics

Added to PP
2016-06-30

Downloads
24 (#654,246)

6 months
11 (#233,459)

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