A theorem and some consistency results in partition calculus

&
Annals of Pure and Applied Logic 36:119-152 (1987)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(87)90015-7

Links

PhilArchive



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

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: Saharon Shelah, Lee Stanley, A Theorem and Some Consistency Results in Partition Calculus. [REVIEW]James E. Baumgartner - 1990 - Journal of Symbolic Logic 55 (2):888-889.
A recursion theoretic analysis of the clopen Ramsey theorem.Peter Clote - 1984 - Journal of Symbolic Logic 49 (2):376-400.
Canonical partition relations.James E. Baumgartner - 1975 - Journal of Symbolic Logic 40 (4):541-554.
λμ-calculus and Böhm's theorem.René David & Walter Py - 2001 - Journal of Symbolic Logic 66 (1):407-413.
The Second Incompleteness Theorem and Bounded Interpretations.Albert Visser - 2012 - Studia Logica 100 (1-2):399-418.
$lambdamu$-Calculus and Bohm's Theorem.Rene David & Walter Py - 2001 - Journal of Symbolic Logic 66 (1):407-413.
Truth and Consistency.Jan Woleński - 2010 - Axiomathes 20 (2-3):347-355.
Independence results.Saharon Shelah - 1980 - Journal of Symbolic Logic 45 (3):563-573.
Herbrand consistency of some arithmetical theories.Saeed Salehi - 2012 - Journal of Symbolic Logic 77 (3):807-827.
The Consistency Argument for Ranking Functions.Franz Huber - 2007 - Studia Logica 86 (2):299-329.
A baire-type theorem for cardinals.Kurt Wolfsdorf - 1983 - Journal of Symbolic Logic 48 (4):1082-1089.
On the Ramsey property for sets of reals.Ilias G. Kastanas - 1983 - Journal of Symbolic Logic 48 (4):1035-1045.

Analytics

Added to PP
2014-01-16

Downloads
12 (#1,062,297)

6 months
9 (#295,075)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Morasses, square and forcing axioms.Charles Morgan - 1996 - Annals of Pure and Applied Logic 80 (2):139-163.
Identities on cardinals less than ℵω.M. Gilchrist & S. Shelah - 1996 - Journal of Symbolic Logic 61 (3):780 - 787.
Forcings constructed along morasses.Bernhard Irrgang - 2011 - Journal of Symbolic Logic 76 (4):1097-1125.
Erdős and set theory.Akihiro Kanamori - 2014 - Bulletin of Symbolic Logic 20 (4):449-490,.

View all 7 citations / Add more citations

References found in this work

Remarks on superatomic boolean algebras.James E. Baumgartner & Saharon Shelah - 1987 - Annals of Pure and Applied Logic 33 (C):109-129.
An ideal game.F. Galvin, T. Jech & M. Magidor - 1978 - Journal of Symbolic Logic 43 (2):284-292.
Morasses, diamond, and forcing.Daniel J. Velleman - 1982 - Annals of Mathematical Logic 23 (2):199.
Simplified morasses.Dan Velleman - 1984 - Journal of Symbolic Logic 49 (1):257-271.
A note on cardinal exponentiation.Saharon Shelah - 1980 - Journal of Symbolic Logic 45 (1):56-66.

View all 8 references / Add more references