13629 results in The Journal of Symbolic Logic
Ultrafilters generated by a closed set of functions
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 2 / June 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 415-430
- Print publication:
- June 1995
-
- Article
- Export citation
A philosophical companion to first-order logic, edited by R. I. G. Hughes, Hackett Publishing Company, Indianapolis and Cambridge, Mass., 1993, viii + 309 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 2 / June 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 684-685
- Print publication:
- June 1995
-
- Article
- Export citation
Stan Wagon. The Banach–Tarski paradox. Encyclopedia of mathematics and its applications, vol. 24. Cambridge University Press, Cambridge, New York, and Melbourne, 1985, xvi + 251 pp. - Stan Wagon. The Banach–Tarski paradox. Paperbound edition of the preceding. Cambridge University Press, Cambridge, New York, and Melbourne, 1993, xviii + 253 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 2 / June 1995
- Published online by Cambridge University Press:
- 12 March 2014, p. 698
- Print publication:
- June 1995
-
- Article
- Export citation
Ultrafilters on ω
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 2 / June 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 624-639
- Print publication:
- June 1995
-
- Article
- Export citation
JSL volume 60 issue 2 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 2 / June 1995
- Published online by Cambridge University Press:
- 12 March 2014, p. b1
- Print publication:
- June 1995
-
- Article
-
- You have access
- Export citation
Models of intuitionistic TT and NF
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 2 / June 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 640-653
- Print publication:
- June 1995
-
- Article
- Export citation
Possible behaviours of the reflection ordering of stationary sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 2 / June 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 534-547
- Print publication:
- June 1995
-
- Article
- Export citation
Grigori Mints. A short introduction to modal logic. CSLI lecture notes, no. 30. Center for the Study of Language and Information, Stanford 1992, also distributed by Cambridge University Press, Cambridge and New York, x + 91 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 2 / June 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 687-689
- Print publication:
- June 1995
-
- Article
- Export citation
Model completions and omitting types
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 2 / June 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 654-672
- Print publication:
- June 1995
-
- Article
- Export citation
On the basic logic of STIT with a single agent
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 2 / June 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 459-483
- Print publication:
- June 1995
-
- Article
- Export citation
Corps et chirurgie
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 2 / June 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 528-533
- Print publication:
- June 1995
-
- Article
- Export citation
Weight ω in stable theories with few types
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 2 / June 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 353-373
- Print publication:
- June 1995
-
- Article
- Export citation
The thickness lemma from P− + IΣ1 + ¬BΣ2
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 2 / June 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 505-511
- Print publication:
- June 1995
-
- Article
- Export citation
Compactly expandable models and stability
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 2 / June 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 673-683
- Print publication:
- June 1995
-
- Article
- Export citation
Paul C. Eklof and Alan H. Mekler. Almost free modules. Set-theoretic methods. North Holland mathematical library, vol. 46. North-Holland, Amsterdam etc. 1990, xvi + 481 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 2 / June 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 696-698
- Print publication:
- June 1995
-
- Article
- Export citation
Dimiter G. Skordev. Computability in combinatory spaces. An algebraic generalization of abstract first order computability. Mathematics and its applications (East European series), vol. 55. Kluwer Academic publishers, Dordrecht, Boston, and London, 1992, xiv + 320 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 2 / June 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 695-696
- Print publication:
- June 1995
-
- Article
- Export citation
Hechler reals
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 2 / June 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 444-458
- Print publication:
- June 1995
-
- Article
- Export citation
Andrew M. Pitts. Interpolation and conceptual completeness for pretoposes via category theory. Mathematical logic and theoretical computer science, edited by Kueker David W., Lopez-Escobar Edgar G. K. and Smith Carl H., Lecture notes in pure and applied mathematics, vol. 106, Marcel Dekker, New York and Basel1987, pp. 301–327. - Andrew M. Pitts. Conceptual completeness for first-order intuitionistic logic: an application of categorical logic. Annals of pure and applied logic, vol. 41 (1989), pp. 33–81.
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 2 / June 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 692-694
- Print publication:
- June 1995
-
- Article
- Export citation
Fred Landman. Structures for semantics. Studies in linguistics and philosophy, vol. 45. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1991, x + 367 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 2 / June 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 686-687
- Print publication:
- June 1995
-
- Article
- Export citation
A geometric proof of the completeness of the Łukasiewicz calculus
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 2 / June 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 563-578
- Print publication:
- June 1995
-
- Article
- Export citation