Research Article
The Road to Modern Logic—An Interpretation
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 441-484
-
- Article
- Export citation
THE ABC'S of Mice
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 485-503
-
- Article
- Export citation
Second-Order Logic and Foundations of Mathematics
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 504-520
-
- Article
- Export citation
Reviews
Bruno Poizat. A course in model theory. An introduction to contemporary mathematical logic. English translation by Moses Klein of JSL LVIII 1074. Universitext. Springer, New York, Berlin, Heidelberg, etc., 2000, xxxi + 443 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 521-522
-
- Article
- Export citation
Sy D. Friedman. Fine structure and class forcing. De Gruyter series in logic and its applications, no. 3. Walter de Gruyter, Berlin and New York 2000, x + 221 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 522-525
-
- Article
- Export citation
Neil Immerman. Descriptive complexity. Graduate texts in computer science. Springer, New York, Berlin, and Heidelberg, 1999, xvi + 268 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 525-527
-
- Article
- Export citation
Greg Restall. An introduction to substructural logics. Routledge, London and New York 2000, xiv + 381 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 527-530
-
- Article
- Export citation
G. Aldo Antonelli. Proto-semantics for positive free logic. Journal of philosophical logic, vol. 29 (2000), pp. 277–294.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 531-532
-
- Article
- Export citation
Kai F. Wehmeier. Fragments of HA based on Σ1 -induction. Archive for mathematical logic, vol. 37 no. 1 (1997), pp. 37–49.
-
- Published online by Cambridge University Press:
- 15 January 2014, p. 532
-
- Article
- Export citation
Wolfgang Burr and Volker Hartung. A characterization of the Σ1-definable functions of KPω + (uniform AC). Archive for mathematical logic, vol. 37 no. 3 (1998), pp. 199–214. - Wolfgang Burr. A Diller—Nahm-style functional interpretation of KPω. Archive for mathematical logic, vol. 39 no. 8 (2000), pp. 599–604.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 532-533
-
- Article
- Export citation
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
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
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
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
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
Randall Dougherty and Matthew Foreman. Banach—Tarski paradox using pieces with the property of Baire. Proceedings of the National Academy of Sciences of the United States of America, vol. 89 (1992), pp. 10726–10728. - Randall Dougherty and Matthew Foreman. Banach—Tarski decompositions using sets with the property of Baire. Journal of the American Mathematical Society, vol. 7 (1994), pp. 75–124.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 537-538
-
- Article
- Export citation
James E. Baumgartner. On the size of closed unbounded sets. Annals of pure and applied logic, vol. 54 (1991), pp. 195–227.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 538-539
-
- Article
- Export citation
James E. Baumgartner. Generic graph construction. The journal of symbolic logic, vol. 49 (1984), pp. 234–240. - Matthew Foreman and Richard Laver. Some downwards transfer properties for ℵ2 . Advances in mathematics, vol. 67 (1988), pp. 230–238. - Saharon Shelah. Incompactness for chromatic numbers of graphs. A tribute to Paul Erdős, edited by A. Baker, B. Bollobas, and A. Hajnal, Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1990, pp. 361–371.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 539-541
-
- Article
- Export citation
Greg Hjorth and Alexander S. Kechris. Analytic equivalence relations and Ulm-type classifications. The journal of symbolic logic, vol. 60 (1995), pp. 1273–1300. - Greg Hjorth, Alexander S. Kechris, and Alain Louveau. Borel equivalence relations induced by actions of the symmetric group. Annals of pure and applied logic, vol. 92 (1998), pp. 63–112.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 541-544
-
- Article
- Export citation
Matthew Foreman. A descriptive view of ergodic theory. Descriptive set theory and dynamical systems, edited by M. Foreman, A. S. Kechris, A. Louveau, and B. Weiss, London Mathematical Society lecture note series, no. 277, Cambridge University Press, Cambridge, New York, etc., 2000, pp. 87–171.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 545-546
-
- Article
- Export citation