13629 results in The Journal of Symbolic Logic
The ideal structure of existentially closed algebras
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 4 / December 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1025-1043
- Print publication:
- December 1985
-
- Article
- Export citation
V. B. Šehtman. An undecidable superintuitionistic propositional calculus. Soviet mathematics, vol. 19 no. 3 (for 1978, pub. 1979), pp. 656–660. (English translation by B. F. Wells of Nérazréšimoé supérintuicionistskoé isčislénié vyskazyvanij, Doklady Akadémii Nauk SSSR, vol. 240(1978), pp. 549–552.) - S. V. Popov. Nondecidable intermediate calculus. Algebra and logic, vol. 20 (1982), pp. 424–461. (English translation of Nérazréšimoé proméžutočnoé isčislénié, Algébra i logika, vol. 20 (1981), pp. 654-706.)
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 4 / December 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1081-1083
- Print publication:
- December 1985
-
- Article
- Export citation
Menachem Magidor and Jerome Malitz. Compact extensions of L(Q) (Part 1a). Annals of mathematical logic, vol. 11 (1977), pp. 217–261. - Matt Kaufmann. A new omitting types theorem for L(Q). The journal of symbolic logic, vol. 44 (1979), pp. 507–521.
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 4 / December 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1076-1078
- Print publication:
- December 1985
-
- Article
- Export citation
A. Beller, R. Jensen, and P. Welch. Coding the universe. London Mathematical Society lecture note series, no. 47. Cambridge University Press, Cambridge etc. 1982, 353 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 4 / December 1985
- Published online by Cambridge University Press:
- 12 March 2014, p. 1081
- Print publication:
- December 1985
-
- Article
- Export citation
On the number of generators of cylindric algebras
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 4 / December 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 865-873
- Print publication:
- December 1985
-
- Article
- Export citation
Ronald Fagin. Probabilities on finite models. The journal of symbolic logic, vol. 41 (1976), pp. 50–58. - Ú. V. Glébskij, D. I. Kogan, M. I. Liongon'kij, and V. A. Talanov. Obém i dolá vypolnimosti formul uzkogo isčisléniá prédikatov. Kibérnétika (Kiev), no. 2 (1969), pp. 17–27. - Yu. V. Glebskii, D. I. Kogan, M. I. Liogon′kii, and V. A. Talanov. Range and degree of realizability of formulas in the restricted predicate calculus. English translation of the preceding. Cybernetics (New York), vol. 5 (for 1969, pub. 1972), pp. 142–154. - James F. Lynch. Almost sure theories. Annals of mathematical logic, vol. 18 (1980), pp. 91–135. - V. L. Murskij. Konéčnaá baziruémost′ toždéstv i drugié svojstva “počti vséh” konéčnyh algébr (A finite basis of identities and other properties of “almost all” finite algebras). Problémy kibérnétiki, vol. 30 (1975), pp. 43–56. - Roy O. Davies. On n-valued Shejfer functions. Zeitschrift für mathematische Logik and Grundlagen der Mathematik, vol. 25 (1979), pp. 293–298.
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 4 / December 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1073-1076
- Print publication:
- December 1985
-
- Article
- Export citation
Notices
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 4 / December 1985
- Published online by Cambridge University Press:
- 12 March 2014, p. 1151
- Print publication:
- December 1985
-
- Article
- Export citation
A guide to “Coding the universe” by Beller, Jensen, Welch
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 4 / December 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1002-1019
- Print publication:
- December 1985
-
- Article
- Export citation
David Woodruff Smith and Ronald McIntyre. Husserl and intentionattty. A study of mind, meaning, and language. Synthese library, vol. 154. D. Reidel Publishing Company, Dordrecht, Boston, and London, 1982, xxiii + 423 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 4 / December 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1071-1073
- Print publication:
- December 1985
-
- Article
- Export citation
One theorem of Zil′ber's on strongly minimal sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 4 / December 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1054-1061
- Print publication:
- December 1985
-
- Article
- Export citation
Nonsplitting subset of
κ(κ+)
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 4 / December 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 881-894
- Print publication:
- December 1985
-
- Article
- Export citation
Kit Fine. Model theory for modal logic. Part I—the de re/de dicto distinction. Journal of philosophical logic, vol. 7 (1978), pp. 125–156. - Kit Fine. Model theory for modal logic—part II. The elimination of de re modality. Journal of philosophical logic, vol. 7 (1978), pp. 277–306. - Kit Fine. Model theory for modal logic—part III. Existence and predication. Journal of philosophical logic, vol. 10 (1981), pp. 293–307.
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 4 / December 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1083-1093
- Print publication:
- December 1985
-
- Article
- Export citation
JSL volume 50 issue 4 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 4 / December 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- December 1985
-
- Article
-
- You have access
- Export citation
The geometry of weakly minimal types
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 4 / December 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1044-1053
- Print publication:
- December 1985
-
- Article
- Export citation
An algorithm to determine, for any prime p, a polynomial-sized Horn sentence which expresses “The cardinality is not p”
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 4 / December 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1062-1064
- Print publication:
- December 1985
-
- Article
- Export citation
The ⊲-ordering on normal ultrafilters
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 4 / December 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 936-952
- Print publication:
- December 1985
-
- Article
- Export citation
Some results concerning strongly compact cardinals
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 4 / December 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 874-880
- Print publication:
- December 1985
-
- Article
- Export citation
Determinateness of certain almost-Borel games
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 3 / September 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 569-579
- Print publication:
- September 1985
-
- Article
- Export citation
Andrej Ščedrov. Forcing and classifying topoi. Memoirs of the American Mathematical Society, no. 295. American Mathematical Society, Providence1984, x + 93 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 3 / September 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 852-853
- Print publication:
- September 1985
-
- Article
- Export citation
Cylindric-relativised set algebras have strong amalgamation
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 3 / September 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 689-700
- Print publication:
- September 1985
-
- Article
- Export citation