13629 results in The Journal of Symbolic Logic
Tarski and geometry
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 4 / December 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 907-912
- Print publication:
- December 1986
-
- Article
- Export citation
Alfred Tarski
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 4 / December 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 866-868
- Print publication:
- December 1986
-
- Article
- Export citation
Per Martin-Löf. Intuitionistic type theory. (Notes by Giovanni Sambin of a series of lectures given in Padua, June 1980.) Studies in proof theory. Bibliopolis, Naples1984, ix + 91 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 4 / December 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1075-1076
- Print publication:
- December 1986
-
- Article
- Export citation
Sur la théorie élémentaire des corps de fonctions
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 4 / December 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 948-956
- Print publication:
- December 1986
-
- Article
- Export citation
Bibliography of Alfred Tarski
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 4 / December 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 913-941
- Print publication:
- December 1986
-
- Article
- Export citation
A boundedness theorem in ID1(W)
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 4 / December 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 942-947
- Print publication:
- December 1986
-
- Article
- Export citation
Preservation theorem and relativization theorem for cofinal extensions1
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 4 / December 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1022-1028
- Print publication:
- December 1986
-
- Article
- Export citation
Institutional Members 1986
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 4 / December 1986
- Published online by Cambridge University Press:
- 12 March 2014, p. 1106
- Print publication:
- December 1986
-
- Article
- Export citation
G. S. Makanin. Equations in a free group. Mathematics of the USSR—Izvestiya, vol. 21 no. 3 (for 1983, pub. 1984), pp. 483–546. (English translation by G. A. Kandall of Uravnéniá v svobodnoj gruppé, Izvéstiá Akadémii Nauk SSSR, Sériá matématičéskaá, vol. 46 (1982), pp. 1199–1273.)
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 4 / December 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1071-1073
- Print publication:
- December 1986
-
- Article
- Export citation
The contributions of Alfred Tarski to algebraic logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 4 / December 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 899-906
- Print publication:
- December 1986
-
- Article
- Export citation
The contributions of Alfred Tarski to general algebra
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 4 / December 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 883-889
- Print publication:
- December 1986
-
- Article
- Export citation
Back and forth constructions in modal logic: An interpolation theorem for a family of modal logics
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 4 / December 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 969-980
- Print publication:
- December 1986
-
- Article
- Export citation
Why Solovay real produces Cohen real
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 4 / December 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 957-968
- Print publication:
- December 1986
-
- Article
- Export citation
Alfred Tarski's work in model theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 4 / December 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 869-882
- Print publication:
- December 1986
-
- Article
- Export citation
Melvin Fitting. Fundamentals of generalized recursion theory. Studies in logic and the foundations of mathematics, vol. 105. North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1981, xx + 307 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 4 / December 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1078-1079
- Print publication:
- December 1986
-
- Article
- Export citation
Saharon Shelah. Infinite abelian groups, Whitehead problem and some constructions. Israel journal of mathematics, vol. 18 (1974), pp. 243–256. - Saharon Shelah. A compactness theorem for singular cardinals, free algebras, Whitehead problem and transversals. Israel journal of mathematics, vol. 21 (1975), pp. 319–349. - Sharaon Shelah. Whitehead groups may be not free, even assuming CH, I. Israel journal of mathematics, vol. 28 (1977), pp. 193–204. - Saharon Shelah. Whitehead groups may not be free even assuming CH, II. Israel journal of mathematics, vol. 35 (1980), pp. 257–285. - Saharon Shelah. On uncountable abelian groups. Israel journal of mathematics, vol. 32 (1979), pp. 311–330. - Shai Ben-David. On Shelah's compactness of cardinals. Israel journal of mathematics, vol. 31 (1978), pp. 34–56 and p. 394. - Howard L. Hiller and Saharon Shelah. Singular cohomology in L. Israel journal of mathematics, vol. 26 (1977), pp. 313–319. - Howard L. Hiller, Martin Huber, and Saharon Shelah. The structure of Ext(A,ℤ) and V = L. Mathematische Zeitschrift, vol. 162 (1978), pp. 39–50. - Saharon Shelah. The consistency of Ext(G, Z) = Q. Israel journal of mathematics, vol. 39 (1981), pp. 74–82.
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 4 / December 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1068-1070
- Print publication:
- December 1986
-
- Article
- Export citation
Meeting of the Association for Symbolic Logic, Campinas, Brazil, 1985
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 4 / December 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1093-1103
- Print publication:
- December 1986
-
- Article
- Export citation
Notices
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 4 / December 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1143-1145
- Print publication:
- December 1986
-
- Article
- Export citation
Survey/expository papers
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 4 / December 1986
- Published online by Cambridge University Press:
- 12 March 2014, p. 865
- Print publication:
- December 1986
-
- Article
- Export citation
Wolfram Schwabhäuser, Wanda Szmielew, and Alfred Tarski. Ein axiomatischer Aujbau der euklidischen Geometrie. Metamathematische Methoden in der Geometrie, Hochschultext, Springer-Verlag, Berlin etc. 1983, pp. 1–171. - Wolfram Schwabhäuser. Metamathematische Betrachtungen. Metamathematische Methoden in der Geometrie, pp. 173–457.
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 4 / December 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1073-1075
- Print publication:
- December 1986
-
- Article
- Export citation