Review
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
Reviews
L. Beklemishev. Another pathological well-ordering. Logic Colloquium '98, Proceedings of the annual European summer meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9–15, 1998, edited by Samuel R. Buss, Petr Hájek, and Pavel Pudlák, Lecture notes in logic, no. 13, Association for Symbolic Logic, Urbana, and A K Peters, Natick, Mass., 2000, pp. 105–108.
-
- Published online by Cambridge University Press:
- 15 January 2014, p. 534
-
- Article
- Export citation
Paul Erdőos, Vance Faber, and Jean Larson Sets of natural numbers of positive density and cylindric set algebras of dimension 2. Algebra universalis, vol. 12 (1981), pp. 81–92. - Jean A. Larson The number of one-generated diagonal-free cylindric set algebras of finite dimension greater than two. Algebra universalis, vol. 16 (1983), pp. 1–16. - Jean A. Larson The number of finitely generated infinite cylindric set algebras of dimension two. Algebra universalis, vol. 19 (1984), pp. 377–396. - Jean A. Larson The number of one-generated cylindric set algebras of dimension greater than two. The journal of symbolic logic, vol. 50 (1985), pp. 59–71.
-
- Published online by Cambridge University Press:
- 05 July 2016, pp. 281-283
-
- Article
- Export citation
Toshiyasu Arai. Some results on cut-elimination, provable well-orderings, induction and reflection. Annals of pure and applied logic, vol. 95 (1998), pp. 93–184.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 77-78
-
- Article
- Export citation
James E. Baumgartner, Alan Taylor, and Stanley Wagon. Ideals on uncountable cardinals. Logic Colloquium '77, Proceedings of the colloquium held in WrocŁaw, August 1977, edited by Angus Macintyre, Leszek Pacholski, and Jeff Paris, Studies in logic and the foundations of mathematics, vol. 96, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1978, pp. 67–77. - J. E. Baumgartner, A. D. Taylor, and S. Wagon. Structural properties of ideals. Dissertationes mathematicae (Rozprawy matematyczne), no. 197, Polska Akademia Nauk, Instytut Matematyczny, Warsaw 1982, 95 pp. - James E. Baumgartner and Alan D. Taylor. Saturation properties of ideals in generic extensions. Transactions of the American Mathematical Society, vol. 270 (1982), pp. 557–574, and vol. 271 (1982), pp. 587–609.
-
- Published online by Cambridge University Press:
- 15 January 2014, p. 79
-
- Article
- Export citation
Masahiro Hamano and Mitsuhiro Okada. A direct independence proof of Buchholz's Hydra game on finite labeled trees. Archive for mathematical logic, vol. 37 no. 2 (1998), pp. 67–89.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 534-535
-
- Article
- Export citation
Review
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
Reviews
Uri Abraham. Aronszajn trees on ℵ2 and ℵ3 . Annals of pure and applied logic, vol. 24 (1983), pp. 213–230. - James Cummings and Matthew Foreman. The tree property. Advances in mathematics, vol. 133 (1998), pp. 1–32. - Menachem Magidor and Saharon Shelah. The tree property at successors of singular cardinals. Archive for mathematical logic, vol. 35 (1996), pp. 385–404.
-
- Published online by Cambridge University Press:
- 05 July 2016, pp. 283-285
-
- Article
- Export citation
C. Stephen Layman. The power of logic. Mayfield Publishing Company, Mountain View, Calif., London, and Toronto, 1999, ix + 566 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 79-81
-
- Article
- Export citation
Review
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
Reviews
Thomas Strahm. Autonomous fixed point progressions and fixed point transfinite recursion. Logic Colloquium '98, Proceedings of the annual European summer meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9–15, 1998, edited by Samuel R. Buss, Petr Hájek, and Pavel Pudlák, Lecture notes in logic, no. 13, Association for Symbolic Logic, Urbana, and A K Peters, Natick, Mass., 2000, pp. 449–464.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 535-536
-
- Article
- Export citation
Fred Appenzeller. An independence result in quadratic form theory: infinitary combinatorics applied to ε-Hermitian spaces. The journal of symbolic logic, vol. 54 (1989), pp. 689–699. - Otmar Spinas. Linear topologies on sesquilinear spaces of uncountable dimension. Fundamenta mathematicae, vol. 139 (1991), pp. 119–132. - James E. Baumgartner, Matthew Foreman, and Otmar Spinas. The spectrum of the Γ-invariant of a bilinear space. Journal of algebra, vol. 189 (1997), pp. 406–418. - James E. Baumgartner and Otmar Spinas. Independence and consistency proofs in quadratic form theory. The journal of symbolic logic, vol. 56 (1991), pp. 1195–1211. - Otmar Spinas. Iterated forcing in quadratic form theory. Israel journal of mathematics, vol. 79 (1992), pp. 297–315. - Otmar Spinas. Cardinal invariants and quadratic forms. Set theory of the reals, edited by Haim Judah, Israel mathematical conference proceedings, vol. 6, Gelbart Research Institute for Mathematical Sciences, Bar-Ilan University, Ramat-Gan 1993, distributed by the American Mathematical Society, Providence, pp. 563–581. - Saharon Shelah and Otmar Spinas. Gross spaces. Transactions of the American Mathematical Society, vol. 348 (1996), pp. 4257–4277.
-
- Published online by Cambridge University Press:
- 05 July 2016, pp. 285-286
-
- Article
- Export citation
Meeting Report
Australasian Association for Logic 2000 Annual Conference
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 287-290
-
- Article
- Export citation
Reviews
B. È. Shapirovskiĭ. O π-kharaktere i π-vese v bikompaktakh. Doklady Akademii Nauk SSSR, vol. 223 (1975), pp. 799–802. - B. È. Šapirovskiĭ. On π-character and π-weight in compact Hausdorff spaces. English translation by I. Juhász of the preceding. Soviet mathematics, vol. 16 no. 4 (for 1975, pub. 1976), pp. 999–1004. - B. È. Shapirovskiĭ. Ob otobrazheniyakh na Tikhonovskie kuby. Uspekhi matematich-eskikhnauk, vol. 35 no. 3 (1980), pp. 122–130. - B. E. Shapirovskii. Maps onto Tikhonov cubes. English translation by A. West of the preceding. Russian mathematical surveys, vol. 35 no. 3 (1980), pp. 145–156.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 536-537
-
- Article
- Export citation
Review
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
Meeting Report
2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 82-163
-
- Article
- Export citation
Other
Notices
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 164-168
-
- Article
- Export citation
Reviews
A. V. Arkhangel′skiĭ. O moshchnosti bikompaktov c pervoĭ aksiomoĭ schetnosti. Dok-lady Akademii Nauk SSSR, vol. 187 (1969), pp. 967–970. - A. V. Arhangel′skiĭ. On the cardinality of bicompacta satisfying the first axiom of countability. English translation by Z. Skalsky of the preceding. Soviet mathematics, vol. 10 (1969), pp. 951–955. - R. Pol. Short proofs of two theorems on cardinality of topological spaces. English with Russian summary. Bulletin de l'Académie Polonaise des Sciences Série des sciences mathématiques, astronomique et physiques, vol. 22 (1974), pp. 1245–1249. - Alan Dow. An introduction to applications of elementary submodels to topology. Topology proceedings (Auburn), vol. 13 (1988), pp. 17–72.
-
- Published online by Cambridge University Press:
- 15 January 2014, p. 537
-
- Article
- Export citation
Meeting Report
International Conference on Theoretical Computer Science (IFIP TCS2000)
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 291-292
-
- Article
- Export citation
Review
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