13629 results in The Journal of Symbolic Logic
Pretopologies and completeness proofs
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 3 / September 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 861-878
- Print publication:
- September 1995
-
- Article
- Export citation
Some questions concerning the cofinality of Sym(κ)
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 3 / September 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 892-897
- Print publication:
- September 1995
-
- Article
- Export citation
Modalities, Philosophical essays. by Ruth Barcan Marcus, Oxford University Press, New York and Oxford1993, xiv + 266 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 3 / September 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1005-1009
- Print publication:
- September 1995
-
- Article
- Export citation
A special class of almost disjoint families
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 3 / September 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 879-891
- Print publication:
- September 1995
-
- Article
- Export citation
Mathematics and mind, edited by Alexander George, Logic and computation in philosophy, Oxford University Press, New York and Oxford1994, ix + 204 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 3 / September 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1009-1012
- Print publication:
- September 1995
-
- Article
- Export citation
A sheaf representation and duality for finitely presented Heyting algebras
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 3 / September 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 911-939
- Print publication:
- September 1995
-
- Article
- Export citation
Perfect extensions and derived algebras
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 3 / September 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 775-796
- Print publication:
- September 1995
-
- Article
- Export citation
Superatomic Boolean algebras constructed from morasses
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 3 / September 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 940-951
- Print publication:
- September 1995
-
- Article
- Export citation
Separably closed fields with higher derivations I
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 3 / September 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 898-910
- Print publication:
- September 1995
-
- Article
- Export citation
Generic trees
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 3 / September 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 705-726
- Print publication:
- September 1995
-
- Article
- Export citation
Ming Li and Paul Vitányi. An introduction to Kolmogorov complexity and its applications. Texts and monographs in computer science. Springer-Verlag, New York, Berlin, Heidelberg, etc., 1993, xx + 546 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 3 / September 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1017-1020
- Print publication:
- September 1995
-
- Article
- Export citation
JSL volume 60 issue 3 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 3 / September 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
- Print publication:
- September 1995
-
- Article
-
- You have access
- Export citation
On o-minimal expansions of Archimedean ordered groups
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 3 / September 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 817-831
- Print publication:
- September 1995
-
- Article
- Export citation
Degree theoretic definitions of the low2 recursively enumerable sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 3 / September 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 727-756
- Print publication:
- September 1995
-
- Article
- Export citation
Moti Gitik and Saharon Shelah. Forcings with ideals and simple forcing notions. Israel journal of mathematics, vol. 68 (1989), pp. 129–160. - M. Gitik and S. Shelah. More on simple forcing notions and forcing with ideals. Annals of pure and applied logic, vol. 59 (1993), pp. 219–238. - D. H. Fremlin Real-valued-measurable cardinals. 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, also distributed by American Mathematical Society, Providence, pp. 151–304.
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 3 / September 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1022-1024
- Print publication:
- September 1995
-
- Article
- Export citation
Thomas Streicher. Semantics of type theory. Correctness, completeness and independence results. Progress in theoretical computer science. Birkhäuser, Boston, Basel, and Berlin, 1991, xii + 298 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 3 / September 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1020-1021
- Print publication:
- September 1995
-
- Article
- Export citation
Defining multiplication in o-minimal expansions of the additive reals
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 3 / September 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 797-816
- Print publication:
- September 1995
-
- Article
- Export citation
A model in which every Boolean algebra has many subalgebras
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 3 / September 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 992-1004
- Print publication:
- September 1995
-
- Article
- Export citation
Expressibility of properties of relations
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 3 / September 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 970-991
- Print publication:
- September 1995
-
- Article
- Export citation
JSL volume 60 issue 3 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 3 / September 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- September 1995
-
- Article
-
- You have access
- Export citation