13629 results in The Journal of Symbolic Logic
Replacement and collection in intuitionistic set theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 2 / June 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 344-348
- Print publication:
- June 1985
-
- Article
- Export citation
Isomorphisms between HEO and HROE, ECF and ICFE
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 2 / June 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 359-371
- Print publication:
- June 1985
-
- Article
- Export citation
Universal recursion theoretic properties of r.e. preordered structures
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 2 / June 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 397-406
- Print publication:
- June 1985
-
- Article
- Export citation
JSL volume 50 issue 2 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 2 / June 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- June 1985
-
- Article
-
- You have access
- Export citation
The consistency of the axiom of universality for the ordering of cardinalities
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 2 / June 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 502-509
- Print publication:
- June 1985
-
- Article
- Export citation
Global quantification in Zermelo-Fraenkel set theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 2 / June 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 289-301
- Print publication:
- June 1985
-
- Article
- Export citation
Weakly compact cardinals in models of set theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 2 / June 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 476-486
- Print publication:
- June 1985
-
- Article
- Export citation
George Bealer. Quality and concept. Clarendon library of logic and philosophy. Clarendon Press, Oxford University Press, Oxford and New York1982, xii + 311 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 2 / June 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 554-556
- Print publication:
- June 1985
-
- Article
- Export citation
An AD-like model
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 2 / June 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 531-543
- Print publication:
- June 1985
-
- Article
- Export citation
A direct proof of the finite developments theorem
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 2 / June 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 339-343
- Print publication:
- June 1985
-
- Article
- Export citation
A. C. Grayling. An introduction to philosophical logic. The Harvester Press, Brighton, Sussex, and Barnes & Noble Books, Totowa, N. J., 1982, 300 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 2 / June 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 553-554
- Print publication:
- June 1985
-
- Article
- Export citation
Raymond Turner. Counterfactuals without possible worlds. Journal of philosophical logic, vol. 10 (1981), pp. 453–493.
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 2 / June 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 556-557
- Print publication:
- June 1985
-
- Article
- Export citation
Manuel Lerman. Degrees of unsolvability. Local and global theory. Perspectives in mathematical logic. Springer-Verlag, Berlin, Heidelberg, New York, and Tokyo, 1983, xiii + 307 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 2 / June 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 549-550
- Print publication:
- June 1985
-
- Article
- Export citation
Subgroups of a free group and the axiom of choice
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 2 / June 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 458-467
- Print publication:
- June 1985
-
- Article
- Export citation
T. E. Forster. Quine's new foundations (an introduction). Cahiers du Centre de Logique, no. 5. Université Catholique de Louvain, Institut Supérieur de Philosophic, Louvain1983, 100 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 2 / June 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 547-548
- Print publication:
- June 1985
-
- Article
- Export citation
A new proof for Craig's theorem
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 2 / June 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 395-396
- Print publication:
- June 1985
-
- Article
- Export citation
The ordered field of real numbers and logics with Malitz quantifiers1
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 2 / June 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 380-389
- Print publication:
- June 1985
-
- Article
- Export citation
On the logic of theory change: Partial meet contraction and revision functions
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 2 / June 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 510-530
- Print publication:
- June 1985
-
- Article
- Export citation
Disturbing arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 2 / June 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 375-379
- Print publication:
- June 1985
-
- Article
- Export citation
Axiomatic recursion theory and the continuous functionals
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 2 / June 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 442-450
- Print publication:
- June 1985
-
- Article
- Export citation