1635 results in Bulletin of Symbolic Logic
Thomas Strahm. Polynomial time operations in explicit mathematics. The journal of symbolic logic, vol. 62 (1997), pp. 575–594. - Andrea Cantini. Feasible operations and applicative theories based on λη. Mathematical logic quarterly, vol. 46 (2000), pp. 291–312.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 4 / December 2002
- Published online by Cambridge University Press:
- 15 January 2014, pp. 534-535
- Print publication:
- December 2002
-
- Article
- Export citation
Mark Balaguer. Platonism and anti-platonism in mathematics. Oxford University Press, Oxford and New York 1998, x + 217 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 4 / December 2002
- Published online by Cambridge University Press:
- 15 January 2014, pp. 516-518
- Print publication:
- December 2002
-
- Article
- Export citation
Wolfgang Burr. Fragments of Heyting arithmetic. The journal of symbolic logic, vol. 65 (2000), pp. 1223–1240.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 4 / December 2002
- Published online by Cambridge University Press:
- 15 January 2014, pp. 533-534
- Print publication:
- December 2002
-
- Article
- Export citation
Individual Members 2002
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 4 / December 2002
- Published online by Cambridge University Press:
- 15 January 2014, pp. 577-629
- Print publication:
- December 2002
-
- Article
- Export citation
BSL volume 8 issue 4 Cover and Back matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 4 / December 2002
- Published online by Cambridge University Press:
- 05 July 2016, pp. b1-b3
- Print publication:
- December 2002
-
- Article
-
- You have access
- Export citation
Association for Symbolic Logic
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 4 / December 2002
- Published online by Cambridge University Press:
- 15 January 2014, pp. 573-576
- Print publication:
- December 2002
-
- Article
- Export citation
Computability-Theoretic Complexity of Countable Structures
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 4 / December 2002
- Published online by Cambridge University Press:
- 15 January 2014, pp. 457-477
- Print publication:
- December 2002
-
- Article
- Export citation
R. G. Downey and M. R. Fellows. Parameterized complexity. Monographs in computer science. Springer, New York, Berlin, and Heidelberg, 1999, xv + 533 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 4 / December 2002
- Published online by Cambridge University Press:
- 15 January 2014, pp. 528-529
- Print publication:
- December 2002
-
- Article
- Export citation
D. A. Martin and J. R. Steel. Iteration trees. Journal of the American Mathematical Society, vol. 7 (1994), pp. 1–73.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 4 / December 2002
- Published online by Cambridge University Press:
- 15 January 2014, pp. 545-546
- Print publication:
- December 2002
-
- Article
- Export citation
Notices
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 4 / December 2002
- Published online by Cambridge University Press:
- 15 January 2014, pp. 630-634
- Print publication:
- December 2002
-
- Article
- Export citation
M. Holz, K. Steffens, and E. Weitz. Introduction to cardinal arithmetic. Birkhäuser advanced texts. Birkhäuser Verlag, Basel, Boston, and Berlin, 1999, vii + 304 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 4 / December 2002
- Published online by Cambridge University Press:
- 15 January 2014, pp. 524-526
- Print publication:
- December 2002
-
- Article
- Export citation
Thomas Strahm. First steps into metapredicativity in explicit mathematics. Sets and proofs, Invited papers from Logic Colloquium '97—European meeting of the Association for Symbolic Logic, Leeds, July 1997, edited by S. Barry Cooper and John K. Truss, London Mathematical Society lecture note series, no. 258, Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1999, pp. 383–402.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 4 / December 2002
- Published online by Cambridge University Press:
- 15 January 2014, pp. 535-536
- Print publication:
- December 2002
-
- Article
- Export citation
Itay Neeman and Jindřich Zapletal. Proper forcings and absoluteness in L(ℝ). Commentationes mathematicae Universitatis Carolinae, vol. 39 (1998), pp. 281–301. - Itay Neeman and Jindřich Zapletal. Proper forcing and L(ℝ). The journal of symbolic logic, vol. 66 (2001), pp. 801–810.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 4 / December 2002
- Published online by Cambridge University Press:
- 15 January 2014, pp. 548-550
- Print publication:
- December 2002
-
- Article
- Export citation
Frank O. Wagner. Simple theories. Mathematics and its applications, vol. 503. Kluwer Academic Publishers, Dordrecht, Boston, and London, 2000, xi + 260 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 4 / December 2002
- Published online by Cambridge University Press:
- 15 January 2014, pp. 522-524
- Print publication:
- December 2002
-
- Article
- Export citation
B. Balcar and F. Franek. Independent families in complete Boolean algebras. Transactions of the American Mathematical Society, vol. 274 (1982), pp. 607–618. - Bohuslav Balcar, Jan Pelant, and Petr Simon. The space of ultrafilters on N covered by nowhere dense sets. Fundamenta mathematicae, vol. 110 (1980), pp. 11–24. - Boban Velickovic. OCA and automorphisms of P(ω)/fin. Topology and its applications, vol. 49 (1993), pp. 1–13.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 4 / December 2002
- Published online by Cambridge University Press:
- 15 January 2014, p. 554
- Print publication:
- December 2002
-
- Article
- Export citation
Zermelo's Cantorian Theory of Systems of Infinitely Long Propositions
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 4 / December 2002
- Published online by Cambridge University Press:
- 15 January 2014, pp. 478-515
- Print publication:
- December 2002
-
- Article
- Export citation
Stevo Todorcevic. Topics in topology. Lecture notes in mathematics, vol. 1652. Springer, Berlin, Heidelberg, New York, etc., 1997, viii + 153 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 4 / December 2002
- Published online by Cambridge University Press:
- 15 January 2014, pp. 526-528
- Print publication:
- December 2002
-
- Article
- Export citation
BSL volume 8 issue 4 Cover and Front matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 4 / December 2002
- Published online by Cambridge University Press:
- 05 July 2016, pp. f1-f9
- Print publication:
- December 2002
-
- Article
-
- You have access
- Export citation
James Cummings. A model in which GCH holds at successors but fails at limits. Transactions of the American Mathematical Society, vol. 329 (1992), pp. 1–39. - James Cummings. Strong ultrapowers and long core models. The journal of symbolic logic, vol. 58 (1993), pp. 240–248. - James Cummings. Coherent sequences versus Radin sequences. Annals of pure and applied logic, vol. 70 (1994), pp. 223–241. - James Cummings, Matthew Foreman, and Menachem Magidor. Squares, scales and stationary reflection. Journal of mathematical logic, vol. 1 (2001), pp. 35–98.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 4 / December 2002
- Published online by Cambridge University Press:
- 15 January 2014, pp. 550-552
- Print publication:
- December 2002
-
- Article
- Export citation
Hyperclassical Logic (A.K.A. If Logic) and its Implications for Logical Theory
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 3 / September 2002
- Published online by Cambridge University Press:
- 15 January 2014, pp. 404-423
- Print publication:
- September 2002
-
- Article
- Export citation