13629 results in The Journal of Symbolic Logic
A limit on relative genericity in the recursively enumerable sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 2 / June 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 376-395
- Print publication:
- June 1989
-
- Article
- Export citation
Stevo B. Todorčević, Trees, subtrees and order types, Annals of mathematical logic, vol. 20 (1981), pp. 233–268. - Stevo Todorcevic, Aronszajn trees and partitions, Israel journal of mathematics, vol. 52 (1985), pp. 53–58.
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 2 / June 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 638-639
- Print publication:
- June 1989
-
- Article
- Export citation
Daniel J. Velleman, Morasses, diamond, and forcing, Annals of mathematical logic, vol. 23 (1982), pp. 199–281. - Dan Velleman. On a generalization of Jensen's □κ, and strategic closure of partial orders, The journal of symbolic logic, vol. 48, no. 4 (for 1983, pub. 1984), pp. 1046–1052.
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 2 / June 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 639-646
- Print publication:
- June 1989
-
- Article
- Export citation
Inclusions et produits de groupes abéliens ordonnés étudiés au premier ordre
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 2 / June 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 499-511
- Print publication:
- June 1989
-
- Article
- Export citation
George Boolos. To be is to be a value of a variable (or to be some values of some variables). The journal of philosophy, vol. 81 (1984), pp. 430–449. - George Boolos. Nominalist Platonism, The philosophical review, vol. 94 (1985), pp. 327–344.
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 2 / June 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 616-617
- Print publication:
- June 1989
-
- Article
- Export citation
Stig Ranger, Unavoidability, Logic and abstraction, Essays dedicated to Per Lindström on his fiftieth birthday, edited by Mats Furberg, Thomas Wetterström, and Claes Åberg, Acta philosophica Gothoburgensia, no. 1, Acta Universitatis Gothobargensis, Göteborg1986, pp. 227–236.
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 2 / June 1989
- Published online by Cambridge University Press:
- 12 March 2014, p. 631
- Print publication:
- June 1989
-
- Article
- Export citation
Elliott Mendelson, Introduction to mathematical logic, Third edition of XXXIV 110 and XLV 631. The Wadsworth & Brooks/Cole mathematics series. Wadsworth & Brooks/Cole Advanced Books & Software, Monterey, Calif., 1987, ix + 341 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 2 / June 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 618-619
- Print publication:
- June 1989
-
- Article
- Export citation
Sacks forcing sometimes needs help to produce a minimal upper bound
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 2 / June 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 490-498
- Print publication:
- June 1989
-
- Article
- Export citation
On recursion theory in IΣ1
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 2 / June 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 576-589
- Print publication:
- June 1989
-
- Article
- Export citation
JSL volume 54 issue 2 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 2 / June 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- June 1989
-
- Article
-
- You have access
- Export citation
Dag Westerståhl. On the order between quantifiers, Logic and abstraction, Essays dedicated to Per Lindström on his fiftieth birthday, edited by Mats Furberg, Thomas Wetterström, and Claes Åberg, Acta philosophica Gothoburgensia, no. 1, Acta Universitatis Gothobargensis, Göteborg1986, pp. 273–285.
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 2 / June 1989
- Published online by Cambridge University Press:
- 12 March 2014, p. 631
- Print publication:
- June 1989
-
- Article
- Export citation
On the strength of the interpretation method
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 2 / June 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 305-323
- Print publication:
- June 1989
-
- Article
- Export citation
Higher order reflection principles
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 2 / June 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 474-489
- Print publication:
- June 1989
-
- Article
- Export citation
European Summer Meeting of the Association for Symbolic Logic, (Logic Colloquium '87), Granada, Spain, 1987
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 2 / June 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 647-672
- Print publication:
- June 1989
-
- Article
- Export citation
Saharon Shelah, Can you take Solovay's inaccessible away?Israel journal of mathematics, vol. 48 (1984), pp. 1–47. - Jean Raisonnier, A mathematical proof of S. Shelah's theorem on the measure problem and related results, Israel journal of mathematics, vol. 48 (1984), pp. 48–56.
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 2 / June 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 633-635
- Print publication:
- June 1989
-
- Article
- Export citation
Herbert Hochberg. Some paradoxes of predication, identity and quantification, Logic and abstraction, Essays dedicated to Per Lindström on his fiftieth birthday, edited by Mats Furberg, Thomas Wetterström, and Claes Åberg, Acta philosophica Gothoburgensia, no. 1, Acta Universitatis Gothobargensis, Göteborg1986, pp. 187–216.
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 2 / June 1989
- Published online by Cambridge University Press:
- 12 March 2014, p. 631
- Print publication:
- June 1989
-
- Article
- Export citation
Stevo Todorčević, Forcing positive partition relations, Transactions of the American Mathematical Society, vol. 280 (1983), pp. 703–720. - Stevo Todorčević, Directed sets and cofinal types, Transactions of the American Mathematical Society, vol. 290 (1985), pp. 711–723. - Stevo Todorčević, Reals and positive partition relations, Logic, methodology and philosophy of science VII, Proceedings of the Seventh International Congress of Logic, Methodology and Philosophy of Science, Salzburg, 1983, edited by Ruth Barcan Marcus, Georg J. W. Dorn, and Paul Weingartner, Studies in logic and the foundations of mathematics, vol. 114, North-Holland, Amsterdam, New York, Oxford, and Tokyo, 1986, pp. 159–169. - Stevo Todorčević, Remarks on chain conditions in products, Compositio mathematica, vol. 55 (1985), pp. 295–302. - Stevo Todorčević, Remarks on cellularity in products, Compositio mathematica, vol. 57 (1986), pp. 357–372. - Stevo Todorčević, Partition relations for partially ordered sets, Acta mathematica, vol. 155 (1985), pp. 1–25.
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 2 / June 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 635-638
- Print publication:
- June 1989
-
- Article
- Export citation
Patching ideal families and enforcing reflection
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 1 / March 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 26-37
- Print publication:
- March 1989
-
- Article
- Export citation
Compact and majorizable functionals of finite type
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 1 / March 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 271-280
- Print publication:
- March 1989
-
- Article
- Export citation
Gödel remembered, Salzburg 10–12 July 1983, edited by Paul Weingartner and Leopold Schmetterer, History of logic, no. 4, Bibliopolis, Naples1987, 187 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 1 / March 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 282-284
- Print publication:
- March 1989
-
- Article
- Export citation