1635 results in Bulletin of Symbolic Logic
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.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 3 / September 2001
- Published online by Cambridge University Press:
- 15 January 2014, p. 391
- Print publication:
- September 2001
-
- 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.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 3 / September 2001
- Published online by Cambridge University Press:
- 15 January 2014, pp. 385-388
- Print publication:
- September 2001
-
- Article
- Export citation
Square in Core Models
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 3 / September 2001
- Published online by Cambridge University Press:
- 15 January 2014, pp. 305-314
- Print publication:
- September 2001
-
- Article
- Export citation
BSL volume 7 issue 3 Cover and Front matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 3 / September 2001
- Published online by Cambridge University Press:
- 05 July 2016, pp. f1-f9
- Print publication:
- September 2001
-
- Article
-
- You have access
- 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.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 3 / September 2001
- Published online by Cambridge University Press:
- 15 January 2014, pp. 388-389
- Print publication:
- September 2001
-
- Article
- Export citation
Grothendieck Rings of ℤ-Valued Fields
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 2 / June 2001
- Published online by Cambridge University Press:
- 15 January 2014, pp. 262-269
- Print publication:
- June 2001
-
- Article
- Export citation
International Conference on Theoretical Computer Science (IFIP TCS2000)
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 2 / June 2001
- Published online by Cambridge University Press:
- 15 January 2014, pp. 291-292
- Print publication:
- June 2001
-
- Article
- Export citation
Australasian Association for Logic 2000 Annual Conference
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 2 / June 2001
- Published online by Cambridge University Press:
- 15 January 2014, pp. 287-290
- Print publication:
- June 2001
-
- Article
- Export citation
Ulrich Kohlenbach. Mathematically strong subsystems of analysis with low rate of growth of provably recursive functionals. Archive for mathematical logic, vol. 36 (1996), pp. 31–71.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 2 / June 2001
- Published online by Cambridge University Press:
- 15 January 2014, pp. 280-281
- Print publication:
- June 2001
-
- Article
- Export citation
A. S. Troelstra and H. Schwichtenberg. Basic proof theory. Second edition of JSL LXIII 1605. Cambridge tracts in theoretical computer science, no. 43. Cambridge University Press, Cambridge, New York, etc., 2000, xii + 417 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 2 / June 2001
- Published online by Cambridge University Press:
- 15 January 2014, p. 280
- Print publication:
- June 2001
-
- Article
- Export citation
BSL volume 7 issue 2 Cover and Front matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 2 / June 2001
- Published online by Cambridge University Press:
- 05 July 2016, pp. f1-f8
- Print publication:
- June 2001
-
- Article
-
- You have access
- Export citation
In the light of logic, by Solomon Feferman, Logic and computation in philosophy, Oxford University Press, New York, Oxford, etc., 1998, xii + 340 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 2 / June 2001
- Published online by Cambridge University Press:
- 15 January 2014, pp. 270-277
- Print publication:
- June 2001
-
- Article
- Export citation
Marcus Kracht. Tools and techniques in modal logic. Studies in logic and the foundations of mathematics, vol. 142. Elsevier, Amsterdam etc. 1999, xiii + 559 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 2 / June 2001
- Published online by Cambridge University Press:
- 15 January 2014, pp. 278-279
- Print publication:
- June 2001
-
- Article
- Export citation
XII Brazilian Logic Conference
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 2 / June 2001
- Published online by Cambridge University Press:
- 15 January 2014, p. 295
- Print publication:
- June 2001
-
- Article
- Export citation
Relations Between Some Cardinals in the Absence of the Axiom of Choice
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 2 / June 2001
- Published online by Cambridge University Press:
- 15 January 2014, pp. 237-261
- Print publication:
- June 2001
-
- 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.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 2 / June 2001
- Published online by Cambridge University Press:
- 05 July 2016, pp. 281-283
- Print publication:
- June 2001
-
- Article
- Export citation
7th Workshop on Logic, Language, Information and Computation (WoLLIC'2000)
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 2 / June 2001
- Published online by Cambridge University Press:
- 15 January 2014, pp. 293-294
- Print publication:
- June 2001
-
- Article
- Export citation
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.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 2 / June 2001
- Published online by Cambridge University Press:
- 05 July 2016, pp. 283-285
- Print publication:
- June 2001
-
- 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.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 2 / June 2001
- Published online by Cambridge University Press:
- 05 July 2016, pp. 285-286
- Print publication:
- June 2001
-
- Article
- Export citation
Notices
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 2 / June 2001
- Published online by Cambridge University Press:
- 15 January 2014, pp. 296-299
- Print publication:
- June 2001
-
- Article
- Export citation