13629 results in The Journal of Symbolic Logic
Unions of rectifiable curves in Euclidean space and the covering number of the meagre ideal
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 2 / June 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 701-726
- Print publication:
- June 1999
-
- Article
- Export citation
Transfering saturation, the finite cover property, and stability
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 2 / June 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 678-684
- Print publication:
- June 1999
-
- Article
- Export citation
John C. Mitchell. Foundations for programming languages. Foundations of computing. The MIT Press, Cambridge, Mass., and London, 1996, xix + 846 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 2 / June 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 918-922
- Print publication:
- June 1999
-
- Article
- Export citation
Generalized cohesiveness
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 2 / June 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 489-516
- Print publication:
- June 1999
-
- Article
- Export citation
Ehud Hrushovski and Boris Zilber. Zariski geometries, Journal of the American Mathematical Society, vol. 9 (1996), pp. 1–56.
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 2 / June 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 906-908
- Print publication:
- June 1999
-
- Article
- Export citation
JSL Volume 64 issue 2 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 2 / June 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
- Print publication:
- June 1999
-
- Article
-
- You have access
- Export citation
A. J. Wilkie, Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function, Journal of the American Mathematical Society, vol. 9 (1996), pp. 1051–1094.
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 2 / June 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 910-913
- Print publication:
- June 1999
-
- Article
- Export citation
Ya'acov Peterzil and Sergei Starchenko, A trichotomy theorem for o-minimal structures, Proceedings of the London Mathematical Society, ser. 3 vol. 77 (1998), pp. 481–523.
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 2 / June 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 908-910
- Print publication:
- June 1999
-
- Article
- Export citation
Cut-elimination for simple type theory with an axiom of choice
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 2 / June 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 479-485
- Print publication:
- June 1999
-
- Article
- Export citation
Tomoyuki Yamakami. Polynomial games and determinacy, Annals of pure and applied logic, vol. 80 (1996), pp. 1–16.
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 2 / June 1999
- Published online by Cambridge University Press:
- 12 March 2014, p. 913
- Print publication:
- June 1999
-
- Article
- Export citation
Geoffrey Hellman. Constructive mathematics and quantum mechanics: unbounded operators and the spectral theorem. Journal of philosophical logic, vol. 22 (1993), pp. 221–248.
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 1 / March 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 397-398
- Print publication:
- March 1999
-
- Article
- Export citation
Rado's conjecture and presaturation of the nonstationary ideal on ω1
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 1 / March 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 38-44
- Print publication:
- March 1999
-
- Article
- Export citation
The independence of the Prime Ideal Theorem from the Order-Extension Principle
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 1 / March 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 199-215
- Print publication:
- March 1999
-
- Article
- Export citation
Intuitionistic completeness for first order classical logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 1 / March 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 304-312
- Print publication:
- March 1999
-
- Article
- Export citation
Anil Nerode and Richard A. Shore. Logic for applications. Texts and monographs in computer science. Springer-Verlag, New York, Berlin, Heidelberg, etc., 1993, xvii + 365 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 1 / March 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 404-405
- Print publication:
- March 1999
-
- Article
- Export citation
The model-theoretic ordinal analysis of theories of predicative strength
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 1 / March 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 327-349
- Print publication:
- March 1999
-
- Article
- Export citation
Deduction theorems within RM and its extensions
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 1 / March 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 279-290
- Print publication:
- March 1999
-
- Article
- Export citation
Michael Sipser. Introduction to the theory of computation. PWS Publishing Company, Boston etc. 1997, xv + 396 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 1 / March 1999
- Published online by Cambridge University Press:
- 12 March 2014, p. 403
- Print publication:
- March 1999
-
- Article
- Export citation
On central extensions of algebraic groups
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 1 / March 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 68-74
- Print publication:
- March 1999
-
- Article
- Export citation
Logics which capture complexity classes over the reals
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 1 / March 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 363-390
- Print publication:
- March 1999
-
- Article
- Export citation