13629 results in The Journal of Symbolic Logic
Stephen G. Simpson. Friedman's research on subsystems of second order arithmetic. Harvey Friedman's research on the foundations of mathematics, edited by L. A. Harrington, M. D. Morley, A. S̆c̆edrov, and S. G. Simpson, Studies in logic and the foundations of mathematics, vol. 117, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. 137–159.
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 2 / June 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 870-874
- Print publication:
- June 1990
-
- Article
- Export citation
On Diophantine equations solvable in models of open induction
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 2 / June 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 779-786
- Print publication:
- June 1990
-
- Article
- Export citation
On the quasi-ordering of Borel linear orders under embeddability
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 2 / June 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 537-560
- Print publication:
- June 1990
-
- Article
- Export citation
Finite support iteration and strong measure zero sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 2 / June 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 674-677
- Print publication:
- June 1990
-
- Article
- Export citation
JSL volume 55 issue 2 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 2 / June 1990
- Published online by Cambridge University Press:
- 12 March 2014, p. b1
- Print publication:
- June 1990
-
- Article
-
- You have access
- Export citation
Full reflection of stationary sets below ℵω
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 2 / June 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 822-830
- Print publication:
- June 1990
-
- Article
- Export citation
Some improvements to Turner's algorithm for bracket abstraction
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 2 / June 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 656-669
- Print publication:
- June 1990
-
- Article
- Export citation
J. C. Shepherdson. Algorithmic procedures, generalized Turing algorithms, and elementary recursion theory. Harvey Friedman's research on the foundations of mathematics, edited by L. A. Harrington, M. D. Morley, A. S̆c̆edrov, and S. G. Simpson, Studies in logic and the foundations of mathematics, vol. 117, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. 285–308. - J. C. Shepherdson. Computational complexity of real functions. Harvey Friedman's research on the foundations of mathematics, edited by L. A. Harrington, M. D. Morley, A. S̆c̆edrov, and S. G. Simpson, Studies in logic and the foundations of mathematics, vol. 117, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. 309–315. - A. J. Kfoury. The pebble game and logics of programs. Harvey Friedman's research on the foundations of mathematics, edited by L. A. Harrington, M. D. Morley, A. S̆c̆edrov, and S. G. Simpson, Studies in logic and the foundations of mathematics, vol. 117, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. 317–329. - R. Statman. Equality between functionals revisited. Harvey Friedman's research on the foundations of mathematics, edited by L. A. Harrington, M. D. Morley, A. S̆c̆edrov, and S. G. Simpson, Studies in logic and the foundations of mathematics, vol. 117, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. 331–338. - Robert E. Byerly. Mathematical aspects of recursive function theory. Harvey Friedman's research on the foundations of mathematics, edited by L. A. Harrington, M. D. Morley, A. S̆c̆edrov, and S. G. Simpson, Studies in logic and the foundations of mathematics, vol. 117, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. 339–352.
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 2 / June 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 876-878
- Print publication:
- June 1990
-
- Article
- Export citation
V. A. Uspénskij. Téoréma Gëdélá o népolnoté. Russian original of the preceding. Populárnyé lékclii po matématiké, no. 57. “Nauka,” Moscow1982, 112 pp. - Frank Jackson. Conditionals. Philosophical theory series. Basil Blackwell, Oxford and New York1987, viii + 148 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 2 / June 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 891-892
- Print publication:
- June 1990
-
- Article
- Export citation
Tores et p-groupes
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 2 / June 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 478-491
- Print publication:
- June 1990
-
- Article
- Export citation
Relevance and paraconsistency—a new approach
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 2 / June 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 707-732
- Print publication:
- June 1990
-
- Article
- Export citation
Some remarks on the algebraic structure of the Medvedev Lattice
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 2 / June 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 831-853
- Print publication:
- June 1990
-
- Article
- Export citation
Some results about Borel sets in descriptive set theory of hyperfinite sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 2 / June 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 604-614
- Print publication:
- June 1990
-
- Article
- Export citation
Lifschitz' realizability
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 2 / June 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 805-821
- Print publication:
- June 1990
-
- Article
- Export citation
Colimit completions and the effective topos
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 2 / June 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 678-699
- Print publication:
- June 1990
-
- Article
- Export citation
On the existence of large p-ideals
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 2 / June 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 457-465
- Print publication:
- June 1990
-
- Article
- Export citation
The last word on elimination of quantifiers in modules
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 2 / June 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 670-673
- Print publication:
- June 1990
-
- Article
- Export citation
Hereditarily finite Finsler sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 2 / June 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 700-706
- Print publication:
- June 1990
-
- Article
- Export citation
Taxonomies of model-theoretically defined topological properties
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 2 / June 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 589-603
- Print publication:
- June 1990
-
- Article
- Export citation
V. A. Uspensky. Gödel's incompleteness theorem. English translation by Neal Koblitz of Téoréma Gëdélá o népolnoté. Little mathematics library. Mir Publishers, Moscow1987, also distributed by Imported Publications, Chicago, 104 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 2 / June 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 889-891
- Print publication:
- June 1990
-
- Article
- Export citation