Research Article
Ideals of nowhere Ramsey sets are isomorphic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 662-667
-
- Article
- Export citation
Reviews
Gitik Moti. Regular cardinals in models of ZF. Transactions of the American Mathematical Society, vol. 290 (1985), pp. 41–68.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 668
-
- Article
- Export citation
S. Feferman and W. Sieg Inductive definitions and subsystems of analysis. Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies, by Wilfried Buchholz, Solomon Feferman, Wolfram Pohlers, and Wilfried Sieg. Lecture notes in mathematics, vol. 897, Springer-Verlag, Berlin, Heidelberg, and New York, 1981, pp. 16–77. - Solomon Feferman and Wilfried Sieg. Proof theoretic equivalences between classical and constructive theories for analysis. Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies, by Wilfried Buchholz, Solomon Feferman, Wolfram Pohlers, and Wilfried Sieg. Lecture notes in mathematics, vol. 897, Springer-Verlag, Berlin, Heidelberg, and New York, 1981, pp. 78–142. - Solomon Feferman. Iterated inductive fixed-point theories: application to Hancock's conjecture. Patras logic symposion, Proceedings of the logic symposion held at Patras, Greece, August 18–22, 1980, edited by George Metakides, Studies in logic and the foundations of mathematics, vol. 109, NorthHolland Publishing Company, Amsterdam, New York, and Oxford, 1982, pp. 171–196. - Solomon Feferman. Monotone inductive definitions. The L. E. J. Brouwer centenary symposium, Proceedings of the conference held in Noordwijkerhout, 8–13 June, 1981, edited by A. S. Troelstra and D. van Dalen, Studies in logic and the foundations of mathematics, vol. 110, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1982, pp. 77–89. - S. Feferman and G. Jäger. Choice principles, the bar rule and autonomously iterated comprehension schemes in analysis. The journal of symbolic logic, vol. 48 (1983), pp. 63–70.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 668-670
-
- Article
- Export citation
Jean E. Rubin. Mathematical logic: applications and theory. The Saunders series. Saunders College Publishing, Philadelphia etc. 1990, xvi + 417 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 670-671
-
- Article
- Export citation
Wolfgang Balzer, C. Ulises Moulines, and Joseph D. Sneed. An architectonic for science. The structuralist program. Synthese library, vol. 186. D. Reidel Publishing Company, Dordrecht etc. 1987, xxxvii + 431 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 671-673
-
- Article
- Export citation
Edsger W. Dijkstra and Carel S. Scholten. Predicate calculus and program semantics. Texts and monographs in computer science. Springer-Verlag, New York, Berlin, Heidelberg, etc., 1990, xi + 220 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 673-678
-
- Article
- Export citation
Andrea Nye. Words of power. A feminist reading of the history of logic. Thinking gender. Routledge, New York and London 1990, xiii + 190 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 678-681
-
- Article
- Export citation
Meeting Report
IX Latin American Symposium on Mathematical Logic, Bahía Blanca, 1992
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 682-695
-
- Article
- Export citation
Annual meeting of the Association for Symbolic Logic, Notre Dame, 1993
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 696-719
-
- Article
- Export citation
Winter meeting of the Association for Symbolic Logic, San Antonio, 1993
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 720-729
-
- Article
- Export citation
The Fifth Asian Logic Conference, Singapore, 1993
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 730-732
-
- Article
- Export citation
Other
Notices
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 733-735
-
- Article
- Export citation
Front matter
JSL volume 59 issue 2 Cover and Front matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Back matter
JSL volume 59 issue 2 Cover and Back matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
-
- Article
-
- You have access
- Export citation