13629 results in The Journal of Symbolic Logic
Indécidabilité de la théorie des paires immédiates de corps valués henseliens
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 4 / December 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1236-1242
- Print publication:
- December 1991
-
- Article
- Export citation
JSL volume 56 issue 4 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 4 / December 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- December 1991
-
- Article
-
- You have access
- Export citation
Bernt P. Stigum. Toward a formal science of economics. The axiomatic method in economics and econometrics. The MIT Press, Cambridge, Mass., and London, 1990, xiv + 1033 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 3 / September 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1102-1103
- Print publication:
- September 1991
-
- Article
- Export citation
XVIIème problème de Hilbert sur les corps chaîne-clos
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 3 / September 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 853-861
- Print publication:
- September 1991
-
- Article
- Export citation
A generalization of forking
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 3 / September 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 813-822
- Print publication:
- September 1991
-
- Article
- Export citation
U-meager sets when the cofinality and the coinitiality of U are uncountable
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 3 / September 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 906-914
- Print publication:
- September 1991
-
- Article
- Export citation
Diagonals and semihyperhypersimple sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 3 / September 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1068-1074
- Print publication:
- September 1991
-
- Article
- Export citation
A structure theorem for strongly abelian varieties with few models
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 3 / September 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 832-852
- Print publication:
- September 1991
-
- Article
- Export citation
Axiomatizing universal properties of quantifiers
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 3 / September 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 901-905
- Print publication:
- September 1991
-
- Article
- Export citation
Concerning n-tactics in the countable-finite game
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 3 / September 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 786-794
- Print publication:
- September 1991
-
- Article
- Export citation
Larger cardinals in Cichoń's diagram
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 3 / September 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 795-810
- Print publication:
- September 1991
-
- Article
- Export citation
Some remarks on modular regular types
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 3 / September 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1003-1011
- Print publication:
- September 1991
-
- Article
- Export citation
Allen H. Brady. The busy beaver game and the meaning of life. The universal Turing machine, A half-century survey, edited by Rolf Herken, Kammerer & Unverzagt, Hamburg and Berlin, and Oxford University Press, Oxford and New York, 1988. pp. 259–277.
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 3 / September 1991
- Published online by Cambridge University Press:
- 12 March 2014, p. 1091
- Print publication:
- September 1991
-
- Article
- Export citation
On the strong Martin conjecture
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 3 / September 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 862-875
- Print publication:
- September 1991
-
- Article
- Export citation
Forcing minimal degree of constructibility
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 3 / September 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 769-782
- Print publication:
- September 1991
-
- Article
- Export citation
Sentences of type theory: the only sentences preserved under isomorphisms1,2
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 3 / September 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 932-948
- Print publication:
- September 1991
-
- Article
- Export citation
Normality and
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 3 / September 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1064-1067
- Print publication:
- September 1991
-
- Article
- Export citation
Notices
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 3 / September 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1151-1152
- Print publication:
- September 1991
-
- Article
- Export citation
Gaisi Takeuti. Proof theory. Studies in logic and the foundations of mathematics, vol. 81. North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, New York, 1975, vii + 372 pp. - Gaisi Takeuti. Proof theory. Second edition of the preceding. Studies in logic and the foundations of mathematics, vol. 81. North-Holland, Amsterdam etc. 1987, x + 490 pp. - Georg Kreisel. Proof theory: some personal recollections. Therein, pp. 395–405. - Wolfram Pohlers. Contributions of the Schütte school in Munich to proof theory. Therein, pp. 406–431. - Stephen G. Simpson. Subsystems of Z2 and reverse mathematics. Therein, pp. 432–446. - Soloman Feferman. Proof theory: a personal report. Therein, pp. 447–485.
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 3 / September 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1094-1096
- Print publication:
- September 1991
-
- Article
- Export citation
Donna M. Carr and Donald H. Pelletier. Towards a structure theory for ideals on Pkλ. Set theory and its applications, Proceedings of a conference held at York University, Ontario, Canada, Aug. 10–21, 1987, edited by J. Steprāns and S. Watson, Lecture notes in mathematics, vol. 1401, Springer-Verlag, Berlin etc. 1989, pp. 41–54. - William S. Zwicker. A beginning for structural properties of ideals on Pkλ. Set theory and its applications, Proceedings of a conference held at York University, Ontario, Canada, Aug. 10–21, 1987, edited by J. Steprāns and S. Watson, Lecture notes in mathematics, vol. 1401, Springer-Verlag, Berlin etc. 1989, pp. 201–217.
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 3 / September 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1100-1101
- Print publication:
- September 1991
-
- Article
- Export citation