13629 results in The Journal of Symbolic Logic
S. Todorchevich and I. Farah. Some applications of the method of forcing. Series in pure and applied mathematics. Yensei, Moscow 1995, also distributed by Bid International Co., Sherman Oaks, Calif., viii + iii + 148 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 2 / June 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 750-751
- Print publication:
- June 1998
-
- Article
- Export citation
Yuri L. Ershov. Definability and computability. English translation of Opredelimost′ i vychislimost′. Siberian school of algebra and logic. Consultants Bureau, New York, London, and Moscow, 1996, xiv + 264 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 2 / June 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 747-748
- Print publication:
- June 1998
-
- Article
- Export citation
DOP and FCP in generic structures
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 2 / June 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 427-438
- Print publication:
- June 1998
-
- Article
- Export citation
There are
many almost strongly minimal generalized n-gons that do not interpret an infinite group
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 2 / June 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 485-508
- Print publication:
- June 1998
-
- Article
- Export citation
Luis E. Sanchis. Set theory—an operational approach. Gordon and Breach Science Publishers, Amsterdam etc. 1996, xvi + 279 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 2 / June 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 751-752
- Print publication:
- June 1998
-
- Article
- Export citation
On the computational content of the axiom of choice
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 2 / June 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 600-622
- Print publication:
- June 1998
-
- Article
- Export citation
The effective content of surreal algebra
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 2 / June 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 337-371
- Print publication:
- June 1998
-
- Article
- Export citation
JSL volume 63 issue 2 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 2 / June 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
- Print publication:
- June 1998
-
- Article
-
- You have access
- Export citation
Amalgamation in relation algebras
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 2 / June 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 479-484
- Print publication:
- June 1998
-
- Article
- Export citation
L. A. Harrington, A. S. Kechris, and A. Louveau. A Glimm–Effros dichotomy for Borel equivalence relations. Journal of the American Mathematical Society, vol. 3 (1990), pp. 903–928. - Alain Louveau and Boban Velickovic. A note on Borel equivalence relations. Proceedings of the American Mathematical Society, vol. 120 (1994), pp. 255–259. - Alexander S. Kechris and Alain Louveau. The classification ofhypersmooth equivalence relations. Journal of the American Mathematical Society, vol. 10 (1997), pp. 215–242.
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 2 / June 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 749-750
- Print publication:
- June 1998
-
- Article
- Export citation
Changing cardinal invariants of the reals without changing cardinals or the reals
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 2 / June 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 593-599
- Print publication:
- June 1998
-
- Article
- Export citation
Some two-cardinal results for O-minimal theories
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 2 / June 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 543-548
- Print publication:
- June 1998
-
- Article
- Export citation
David Marker, Introduction to the model theory of fields. Model theory of fields, Lecture notes in logic, no. 5, Springer, Berlin, Heidelberg, New York, etc., 1996, pp. 1–37. - David Marker. Model theory of differential fields. Model theory of fields, Lecture notes in logic, no. 5, Springer, Berlin, Heidelberg, New York, etc., 1996, pp. 38–113. - Anand Pillay. Differential algebraic groups and the number of countable differentially closed fields. Model theory of fields, Lecture notes in logic, no. 5, Springer, Berlin, Heidelberg, New York, etc., 1996, pp. 114–134. - Margit Messmer. Some model theory of separably closed fields. Model theory of fields, Lecture notes in logic, no. 5, Springer, Berlin, Heidelberg, New York, etc., 1996, pp. 135–152.
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 2 / June 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 746-747
- Print publication:
- June 1998
-
- Article
- Export citation
Relational semantics and a relational proof system for full Lambek calculus
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 2 / June 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 623-637
- Print publication:
- June 1998
-
- Article
- Export citation
Frege proof system and TNC°
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 2 / June 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 709-738
- Print publication:
- June 1998
-
- Article
- Export citation
An absoluteness principle for Borel sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 2 / June 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 663-693
- Print publication:
- June 1998
-
- Article
- Export citation
Explicit mathematics with the monotone fixed point principle
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 2 / June 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 509-542
- Print publication:
- June 1998
-
- Article
- Export citation
The Rudin-Blass ordering of ultrafilters
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 2 / June 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 584-592
- Print publication:
- June 1998
-
- Article
- Export citation
Undecidable extensions of Skolem arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 2 / June 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 379-401
- Print publication:
- June 1998
-
- Article
- Export citation
Yuriĭ L. Ershov. Opredelimost′ i rychislimost′. Russian original of the preceding. Sibirskaya shkola algebry i logiki. Nauchnaya Kniga, Novosibirsk 1996, 300 pp. - Richard Lassaigne and Michel de Rougemont. Logique et complexité. Collection informatique. Hermès, Paris 1996, viii + 322 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 2 / June 1998
- Published online by Cambridge University Press:
- 12 March 2014, p. 748
- Print publication:
- June 1998
-
- Article
- Export citation