13629 results in The Journal of Symbolic Logic
Recursively enumerable m- and tt-degrees. I: The quantity of m-degrees
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 2 / June 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 553-567
- Print publication:
- June 1989
-
- Article
- Export citation
Jouko Väänänen, A hierarchy theorem for Lindstrom 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. 317–323.
-
- 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
Meeting of the Association for Symbolic Logic, East Lansing, Michigan, 1988
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 2 / June 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 674-677
- Print publication:
- June 1989
-
- Article
- Export citation
The third Asian conference in mathematical logic, Beijing, 1987
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 2 / June 1989
- Published online by Cambridge University Press:
- 12 March 2014, p. 673
- Print publication:
- June 1989
-
- Article
- Export citation
The structure of algebraically and existentially closed Stone and double Stone algebras
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 2 / June 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 363-375
- Print publication:
- June 1989
-
- Article
- Export citation
Two recursion theoretic characterizations of proof speed-ups
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 2 / June 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 522-526
- Print publication:
- June 1989
-
- Article
- Export citation
An ideal characterization of Mahlo cardinals
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 2 / June 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 467-473
- Print publication:
- June 1989
-
- Article
- Export citation
Michael Detlefsen, Hilbert's program. An essay on mathematical instrumentalism. Synthese library, vol. 182, D. Reidel Publishing Company, Dordrecht etc. 1986, xiv + 186 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 2 / June 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 620-622
- Print publication:
- June 1989
-
- Article
- Export citation
Regressive partitions and Borel diagonalization
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 2 / June 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 540-552
- Print publication:
- June 1989
-
- Article
- Export citation
Gregory J. Chaitin, Algorithmic information theory, Cambridge tracts in theoretical computer science, no. 1. Cambridge University Press, Cambridge etc. 1987, xi + 175 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 2 / June 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 624-627
- Print publication:
- June 1989
-
- Article
- Export citation
Jan Berg, A logic of terms with an existence operator, 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. 71–94.
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 2 / June 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 630-631
- Print publication:
- June 1989
-
- Article
- Export citation
Undecidable complexity statements in
-arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 2 / June 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 415-427
- Print publication:
- June 1989
-
- Article
- Export citation
On adding (ξ) to weak equality in combinatory logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 2 / June 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 590-607
- Print publication:
- June 1989
-
- Article
- Export citation
The strong anticupping property for recursively enumerable degrees1
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 2 / June 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 527-539
- Print publication:
- June 1989
-
- Article
- Export citation
The undecidability of the DA-unification problem
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 2 / June 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 402-414
- Print publication:
- June 1989
-
- Article
- Export citation
Partially ordered sets and the independence property
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 2 / June 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 396-401
- Print publication:
- June 1989
-
- Article
- Export citation
K. Wagner and G. Wechsung, Computational complexity, Mathematics and its applications. VEB Deutscher Verlag der Wissenschaften, Berlin, and D. Reidel Publishing Company, Dordrecht etc., 1986, 551 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 2 / June 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 622-624
- Print publication:
- June 1989
-
- Article
- Export citation
Notices
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 2 / June 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 687-688
- Print publication:
- June 1989
-
- Article
- Export citation
Albert E. Hurd and Peter A. Loeb. An introduction to nonstandard real analysis, Pure and applied mathematics, no. 118. Academic Press, Orlando etc. 1985, xii + 232 pp. - K. D. Stroyan in collaboration with W. A. J. Luxemburg, Introduction to the theory of infinitesimals, Pure and applied mathematics, no. 72. Academic Press, New York, San Francisco, and London, 1976, xv + 326 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 2 / June 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 631-633
- Print publication:
- June 1989
-
- Article
- Export citation
William J. Rapaport, Logical foundations for belief representation, Cognitive science, vol. 10 (1986), pp. 371–422.
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 2 / June 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 617-618
- Print publication:
- June 1989
-
- Article
- Export citation