Steve Jackson. A new proof of the strong partition relation on ω1. Transactions of the American Mathematical Society, vol. 320 , pp. 737–745. - Steve Jackson. Admissible Suslin cardinals in L. The journal of symbolic logic, vol. 56 , pp. 260–275. - Steve Jackson. A computation of. Memoirs of the American Mathematical Society, no. 670. American Mathematical Society, Providence 1999, viii + 94 pp [Book Review]

Bulletin of Symbolic Logic 8 (4):546-548 (2002)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2178/bsl/1182353936

Links

PhilArchive



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

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

A New Proof of the Strong Partition Relation on ω 1Admissible Suslin Cardinals in LA Computation of δ 5 1.Howard S. Becker & Steve Jackson - 2002 - Bulletin of Symbolic Logic 8 (4):546.
The strong partition relation on ω 1 revisited.Steve Jackson & Russell May - 2004 - Mathematical Logic Quarterly 50 (1):33-40.
Admissible suslin cardinals in l(r).Steve Jackson - 1991 - Journal of Symbolic Logic 56 (1):260 - 275.
Alan Rose and J. Barkley Rosser. Fragments of many-valued statement calculi. Transactions of the American Mathematical Society, vol. 87 , pp. 1–53. - C. A. Meredith. The dependence of an axiom of Łukasiewicz. Transactions of the American Mathematical Society, vol. 87 , p. 54. - C. C. Chang. Proof of an axiom of Łukasiewicz. Transactions of the American Mathematical Society, vol. 87 , pp. 55–56. [REVIEW]Atwell R. Turquette - 1959 - Journal of Symbolic Logic 24 (3):248-249.
Andréka H., Givant S., and Németi I.. Decision problems for equational theories of relation algebras. Memoirs of the American Mathematical Society, vol. 126, no. 604. American Mathematical Society, Providence, March 1997, xiv+ 126 pp. [REVIEW]Roger D. Maddux - 2003 - Bulletin of Symbolic Logic 9 (1):37-39.
Lévy Azriel. A hierarchy of formulas in set theory. Memoirs of the American Mathematical Society, no. 57. American Mathematical Society, Providence 1965, 76 pp. [REVIEW]Solomon Feferman - 1968 - Journal of Symbolic Logic 33 (3):473-474.
Ščedrov Andrej. Forcing and classifying topoi. Memoirs of the American Mathematical Society, no. 295. American Mathematical Society, Providence 1984, x + 93 pp. [REVIEW]Peter T. Johnstone - 1985 - Journal of Symbolic Logic 50 (3):852-853.
Clarke D. A.. Hierarchies of predicates of finite types. Memoirs of the American Mathematical Society, no. 51. American Mathematical Society, Providence 1964, 95 pp. [REVIEW]Peter G. Hinman - 1971 - Journal of Symbolic Logic 36 (1):146-147.
Grantham S. B.. Galvin's “racing pawns” game and a well-ordering of trees. Memoirs of the American Mathematical Society, no. 316. American Mathematical Society, Providence 1985, iv + 63 pp. [REVIEW]Jean A. Larson - 1990 - Journal of Symbolic Logic 55 (3):1310-1311.
Farah Ilijas. Analytic quotients. Memoirs of the American Mathematical Society vol. 148 no. 702, American Mathematical Society, Providence, RI, 2000, xvi+ 177 pp. [REVIEW]D. H. Fremlin - 2006 - Bulletin of Symbolic Logic 12 (1):126-128.
Oglesby Francis C.. An examination of a decision procedure. Memoirs of the American Mathematical Society, no. 44. American Mathematical Society, Providence 1962, 148 pp.Oglesby F. C.. Report: An examination of a decision procedure. Bulletin of the American Mathematical Society, vol. 67 , pp. 300–304. [REVIEW]Abraham Robinson - 1963 - Journal of Symbolic Logic 28 (2):165-166.
Halpern J. D. and Läuchli H.. A partition theorem. Transactions of the American Mathematical Society, vol. 124 , pp. 360–367.Halpern J. D. and Lévy A.. The Boolean prime ideal theorem does not imply the axiom of choice. Axiomatic set theory, Proceedings of symposia in pure mathematics, vol. 13 part 1, American Mathematical Society, Providence, Rhode Island, 1971, pp. 83–134. [REVIEW]David Pincus - 1974 - Journal of Symbolic Logic 39 (1):181-182.
Review: A. G. Dragalin, E. Mendelson, Mathematical Intuitionism. Introduction to Proof Theory. [REVIEW]A. S. Troelstra - 1990 - Journal of Symbolic Logic 55 (3):1308-1309.
Paul Howard and Jean E. Rubin. Consequences of the axiom of choice, Mathematical Surveys and Monographs, vol. 59. American Mathematical Society, Providence, RI, 1998, viii + 432 pp. [REVIEW]Andreas Blass - 2005 - Bulletin of Symbolic Logic 11 (1):61-63.
C. C. Chang. Algebraization of infinitely many-valued logic. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 144–146. - C. C. Chang. Algebraic analysis of many valued logics. Transactions of the American Mathematical Society, vol. 88 , pp. 467–490. - C. C. Chang. A new proof of the completeness of the Łukasiewicz axioms. Transactions of the American Mathematical Society, vol. 93 , pp. 74–80. [REVIEW]Alfred Horn - 1971 - Journal of Symbolic Logic 36 (1):159-160.

Analytics

Added to PP
2014-03-24

Downloads
56 (#285,378)

6 months
8 (#359,856)

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