13629 results in The Journal of Symbolic Logic
More on an undecidability result of Bateman, Jockusch and Woods
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 1 / March 1998
- Published online by Cambridge University Press:
- 12 March 2014, p. 50
- Print publication:
- March 1998
-
- Article
- Export citation
Extensional quotients for type theory and the consistency problem for NF
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 1 / March 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 247-261
- Print publication:
- March 1998
-
- Article
- Export citation
Andrea Cantini. Logical frameworks for truth and abstraction. An axiomatic study. Studies in logic and the foundations of mathematics, vol. 135. Elsevier, Amsterdam etc. 1996, xii + 461 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 1 / March 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 328-329
- Print publication:
- March 1998
-
- Article
- Export citation
Arrow logic and multi-modal logic, edited by Maarten Marx, László Pólos, and Michael Masuch, Studies in logic, language and information, CSLI Publications, Stanford, and FoLLI, 1996, also distributed by Cambridge University Press, New York, xiv + 247 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 1 / March 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 333-336
- Print publication:
- March 1998
-
- Article
- Export citation
Models of arithmetic and subuniform bounds for the arithmetic sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 1 / March 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 59-72
- Print publication:
- March 1998
-
- Article
- Export citation
Propositional quantification in the monadic fragment of intuitionistic logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 1 / March 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 269-300
- Print publication:
- March 1998
-
- Article
- Export citation
Small forcing makes any cardinal superdestructible
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 1 / March 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 51-58
- Print publication:
- March 1998
-
- Article
-
- You have access
- Export citation
One-dimensional fibers of rigid subanalytic sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 1 / March 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 83-88
- Print publication:
- March 1998
-
- Article
- Export citation
JSL Volume 63 issue 1 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 1 / March 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
- Print publication:
- March 1998
-
- Article
-
- You have access
- Export citation
Relativised quantification: Some canonical varieties of sequence-set algebras
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 1 / March 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 163-184
- Print publication:
- March 1998
-
- Article
- Export citation
The algebraic sum of sets of real numbers with strong measure zero sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 1 / March 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 301-324
- Print publication:
- March 1998
-
- Article
- Export citation
George Boole. Selected manuscripts on logic and its philosophy. Edited by Ivor Grattan-Guinness and Gérard Bornet. Science networks historical studies, vol. 20. Birkhäuser Verlag, Basel, Boston, and Berlin, 1997, lxiv + 236 pp. - Ivor Grattan-Guinness. Boole's quest for the foundations of his logic. Therein, pp. xiii–xlvii. - Gérard Bornet. Boole's psychologism as a reception problem. Therein, pp. xlvii–lviii.
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 1 / March 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 332-333
- Print publication:
- March 1998
-
- Article
- Export citation
Uniformization and skolem functions in the class of trees
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 1 / March 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 103-127
- Print publication:
- March 1998
-
- Article
- Export citation
Laver indestructibility and the class of compact cardinals
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 1 / March 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 149-157
- Print publication:
- March 1998
-
- Article
- Export citation
Codable sets and orbits of computably enumerable sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 1 / March 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-28
- Print publication:
- March 1998
-
- Article
- Export citation
Vanishing Borel sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 1 / March 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 262-268
- Print publication:
- March 1998
-
- Article
- Export citation
Supplements of bounded permutation groups
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 1 / March 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 89-102
- Print publication:
- March 1998
-
- Article
- Export citation
John R. Steel. The core model iterability problem. Lecture notes in logic, no. 8. Springer, Berlin, Heidelberg, New York, etc., 1996, iii + 112 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 1 / March 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 326-328
- Print publication:
- March 1998
-
- Article
- Export citation
On the expressiveness of frame satisfiability and fragments of second-order logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 1 / March 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 73-82
- Print publication:
- March 1998
-
- Article
- Export citation
Steven Buechler. Essential stability theory. Perspectives in mathematical logic. Springer, Berlin, Heidelberg, New York, etc., 1996, xiv + 355 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 1 / March 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 325-326
- Print publication:
- March 1998
-
- Article
- Export citation