Research Article
Square in Core Models
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 305-314
-
- Article
- Export citation
Full Frobenius Groups of Finite Morley Rank and the Feit-Thompson Theorem
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 315-328
-
- Article
- Export citation
On the Complexity of the Classification Problem for Torsion-Free Abelian Groups of Finite Rank
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 329-344
-
- Article
- Export citation
On Gupta-Belnap Revision Theories of Truth, Kripkean Fixed Points, and The Next Stable Set
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 345-360
-
- Article
- Export citation
Polish Metric Spaces: Their Classification and Isometry Groups
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 361-375
-
- Article
- Export citation
Review
Joseph R. Shoenfield. Mathematical logic. Republication of JSL XL 234. Association for Symbolic Logic, Urbana, and A K Peters, Natick, Mass., 2001, viii + 344 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, p. 376
-
- Article
- Export citation
Jon Barwise and John Etchemendy. Language, proof and logic. In collaboration with Gerard Allwein, Dave Barker-Plummer, and Albert Liu. CSLI Publications, Stanford, and Seven Bridges Press, New York and London, 1999, xii + 587 pp. - Gerard Allwein, Dave Barker-Plummer, Jon Barwise, John Etchemendy, and Albert Liu. LPL software manual. CSLI Publications, Stanford, and Seven Bridges Press, New York and London, 1999, vii + 52 pp. + CD-ROM.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 377-379
-
- Article
- Export citation
John Etchemendy. The concept of logical consequence. An unaltered republication of JSL LVII 254. The David Hume series of philosophy and cognitive science reissues. Center for the Study of Language and Information, Stanford 1999, also distributed by Cambridge University Press, New York, vii + 174 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 379-380
-
- Article
- Export citation
Harold Simmons. Derivation and computation. Taking the Curry-Howard correspondence seriously. Cambridge tracts in theoretical computer science, vol. 51. Cambridge University Press, Cambridge, New York, etc., 2000, xxv + 384 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 380-383
-
- Article
- Export citation
C. J. Ash and J. Knight. Computable structures and the hyperarithmetical hierarchy. Studies in logic and the foundations of mathematics, vol. 144. Elsevier, Amsterdam etc. 2000, xv + 346 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 383-385
-
- Article
- Export citation
Randall Dougherty and Alexander S. Kechris. The complexity of antidifferentiation. Advances in mathematics, vol. 88 (1991), pp. 145–169. - Ferenc Beleznay and Matthew Foreman. The collection of distal flows is not Borel. American journal of mathematics, vol. 117 (1995), pp. 203–239. - Ferenc Beleznay and Matthew Foreman. The complexity of the collection of measure-distal transformations. Ergodic theory and dynamical systems, vol. 16 (1996), pp. 929–962. - Howard Becker. Pointwise limits of subsequences and sets. Fundamenta mathematicae, vol. 128 (1987), pp. 159–170. - Howard Becker, Sylvain Kahane, and Alain Louveau. Some complete sets in harmonic analysis. Transactions of the American Mathematical Society, vol. 339 (1993), pp. 323–336. - Robert Kaufman. PCA sets and convexity Fundamenta mathematicae, vol. 163 (2000), pp. 267–275). - Howard Becker. Descriptive set theoretic phenomena in analysis and topology. Set theory of the continuum, edited by H. Judah, W. Just, and H. Woodin, Mathematical Sciences Research Institute publications, vol. 26, Springer-Verlag, New York, Berlin, Heidelberg, etc., 1992, pp. 1–25.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 385-388
-
- Article
- Export citation
Tomek Bartoszynski. On the structure of measurable filters on a countable set. Real analysis exchange, vol. 17 no. 2 (1992), pp. 681–701. - Tomek Bartoszynski and Saharon Shelah. Intersection of < 2ℵ0 ultrafilters may have measure zero. Archive for mathematical logic, vol. 31 (1992), pp. 221–226. - Tomek Bartoszynski and Haim Judah. Measure and Category—filters on ω. Set theory of the continuum, edited by H. Judah, W. Just, and H. Woodin, Mathematical Sciences Research Institute publications, vol. 26, Springer-Verlag, New York, Berlin, Heidelberg, etc., 1992, pp. 175–201. - Tomek Bartoszynski, Martin Goldstern, Haim Judah, and Saharon Shelah. All meager filters may be null. Proceedings of the American Mathematical Society, vol. 117 (1993), pp. 515–521. - Tomek Bartoszyński. Remarks on the intersection of filters. Topology and its applications, vol. 84 (1998), pp. 139–143.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 388-389
-
- Article
- Export citation
Jeremy Avigad. Formalizing forcing arguments in subsystems of second-order arithmetic. Annals of pure and applied logic, vol. 82 (1996), pp. 165–191.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 390-391
-
- Article
- Export citation
Mitsuru Tada and Makoto Tatsuta. The function ⌊a/m⌋ in sharply bounded arithmetic. Archive for mathematical logic, vol. 37 no. 1 (1997), pp. 51–57.
-
- Published online by Cambridge University Press:
- 15 January 2014, p. 391
-
- Article
- Export citation
Wilfried Buchholz. An intuitionistic fixed point theory. Archive for mathematical logic, vol. 37 no. 1 (1997), pp. 21–27.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 391-392
-
- Article
- Export citation
Obituary
In Memoriam: Joseph R. Shoenfield 1927–2000
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 393-396
-
- Article
-
- You have access
- Export citation
Meeting Report
2000-2001 Winter Meeting of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 397-403
-
- Article
- Export citation
2000-2001 Winter Meeting of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 404-412
-
- Article
- Export citation
2000-2001 Spring Meeting of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 413-419
-
- Article
- Export citation
2001 Annual Meeting of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 420-435
-
- Article
- Export citation