13631 results in The Journal of Symbolic Logic
Uniqueness of normal proofs of minimal formulas
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 3 / September 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 789-799
- Print publication:
- September 1993
-
- Article
- Export citation
Quasi-endomorphisms in small stable groups
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 3 / September 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1044-1051
- Print publication:
- September 1993
-
- Article
- Export citation
Chris Ash, Julia Knight, Mark Manasse, and Theodore Slaman. Generic copies of countable structures. Annals of pure and applied logic, vol. 42 (1989), pp. 195–205.
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 3 / September 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1078-1079
- Print publication:
- September 1993
-
- Article
- Export citation
Fourth European summer school in logic, language, and information
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 3 / September 1993
- Published online by Cambridge University Press:
- 12 March 2014, p. 1096
- Print publication:
- September 1993
-
- Article
- Export citation
Systems of illative combinatory logic complete for first-order propositional and predicate calculus
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 3 / September 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 769-788
- Print publication:
- September 1993
-
- Article
- Export citation
Undecidability of modal and intermediate first-order logics with two individual variables
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 3 / September 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 800-823
- Print publication:
- September 1993
-
- Article
- Export citation
Working below a high recursively enumerable degree
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 3 / September 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 824-859
- Print publication:
- September 1993
-
- Article
- Export citation
Michael Dummett. The logical basis of metaphysics. Harvard University Press, Cambridge, Mass., 1991, xi + 355 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 3 / September 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1086-1090
- Print publication:
- September 1993
-
- Article
- Export citation
-stability
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 3 / September 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 941-954
- Print publication:
- September 1993
-
- Article
- Export citation
European summer meeting of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 3 / September 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1098-1149
- Print publication:
- September 1993
-
- Article
- Export citation
Logic at Tver '92
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 3 / September 1993
- Published online by Cambridge University Press:
- 12 March 2014, p. 1150
- Print publication:
- September 1993
-
- Article
- Export citation
R. R. Rockingham Gill. Deducibility and decidability. Routledge, London and New York1990, viii + 162 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 3 / September 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1080-1082
- Print publication:
- September 1993
-
- Article
- Export citation
Spring meeting of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 3 / September 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1093-1095
- Print publication:
- September 1993
-
- Article
- Export citation
Constructivity in computer science: A summer symposium
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 3 / September 1993
- Published online by Cambridge University Press:
- 12 March 2014, p. 1097
- Print publication:
- September 1993
-
- Article
- Export citation
Random models and solvable Skolem classes
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 3 / September 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 908-914
- Print publication:
- September 1993
-
- Article
- Export citation
Partitions of products
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 3 / September 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 860-871
- Print publication:
- September 1993
-
- Article
- Export citation
Variations on a game of Gale (I): Coding strategies
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 3 / September 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1035-1043
- Print publication:
- September 1993
-
- Article
- Export citation
B. I. Zil′ber. Totally categorical theories: structural properties and the non-finite axiomatizability. Model theory of algebra and arithmetic, Proceedings of the conference on applications of logic to algebra and arithmetic held at Karpacz, Poland, September 1–7, 1979, edited by L. Pacholski, J. Wierzejewski, and A. J. Wilkie, Lecture notes in mathematics, vol. 834, Springer-Verlag, Berlin, Heidelberg, and New York, 1980, pp. 381–410. - B. I. Zil′ber. Strongly minimal countably categorical theories. Siberian mathematical journal, vol. 21 no. 2 (for 1980, pub. 1981), pp. 219–230. (English translation of Sil′no minimal′nye schetno kategorichnye teorii, Sibirskiimatematicheskii zhurnal. vol. 21 no. 2 (1980), pp. 98-112.) - B. I. Zil′ber. Strongly minimal countably categorical theories. II. Ibid., vol. 25 no. 3 (for 1984, pub. 1985), pp. 396-412. (English translation of Sil′no minimal′nye schetno kategorichnye teorii, II, ibid., vol. 25 no. 3 (1984), pp. 71-88.) - B. I. Zil′ber. Strongly minimal countably categorical theories. III. Ibid., vol. 25 no. 4 (for 1984, pub. 1985), pp. 559-571. (English translation of Sil'no minimal'nye schetno-kategorichnye teorii, III, ibid., vol. 25 no. 4 (1984), pp. 63-77.) - B. I. Zil′ber. Totally categorical structures and combinatorial geometries. Soviet mathematics–Doklady, vol. 24 no. 1 (for 1981, pub. 1982), pp. 149-151. (English translation by E. Mendelson of Total′no kategorichnye struktury i kombinatornye geometrii, Doklady Akademii Nauk SSSR, vol. 259 (1981), pp. 1039-1041.) - B. I. Zil′ber The structure of models of uncountably categorical theories. Proceedings of the International Congress of Mathematicians, August 16–24,1983, Warszawa, Volume 1, PWN—Polish Scientific Publishers, Warsaw, and North-Holland, Amsterdam, New York, and Oxford, 1984, pp. 359-368.
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 2 / June 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 710-713
- Print publication:
- June 1993
-
- Article
- Export citation
The number of proofs for a BCK-formula
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 2 / June 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 626-628
- Print publication:
- June 1993
-
- Article
- Export citation
Definability of models by means of existential formulas without identity
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 2 / June 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 424-434
- Print publication:
- June 1993
-
- Article
- Export citation