13629 results in The Journal of Symbolic Logic
JSL volume 51 issue 2 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 2 / June 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
- Print publication:
- June 1986
-
- Article
-
- You have access
- Export citation
Périodicité des théories élémentaires des corps de séries formelles itérées
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 2 / June 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 334-351
- Print publication:
- June 1986
-
- Article
- Export citation
Krister Segerberg. The logic of deliberate action. Journal of philosophical logic, vol. 11 (1982),pp. 233–254.
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 2 / June 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 476-477
- Print publication:
- June 1986
-
- Article
- Export citation
A generalization of the limit lemma and clopen games
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 2 / June 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 273-291
- Print publication:
- June 1986
-
- Article
- Export citation
Σ 1 definitions with parameters
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 2 / June 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 453-461
- Print publication:
- June 1986
-
- Article
- Export citation
Splitting properties of r.e. sets and degrees1,2
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 1 / March 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 88-109
- Print publication:
- March 1986
-
- Article
- Export citation
Locally finite theories
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 1 / March 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 59-62
- Print publication:
- March 1986
-
- Article
- Export citation
David W. Kueker. Löwenheim–Skolem and interpolation theorems in infinitary languages. Bulletin of the American Mathematical Society, vol. 78 (1972), pp. 211–215. - K. Jon Barwise. Mostowski's collapsing function and the closed unbounded filter. Fundamenta mathematicae, vol. 82 no. 2 (1974), pp. 95–103. - David W. Kueker. Countable approximations and Löwenheim–Skolem theorems. Annals of mathematical logic, vol. 11 (1977), pp. 57–103.
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 1 / March 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 232-234
- Print publication:
- March 1986
-
- Article
- Export citation
Saharon Shelah. There are just four second-order quantifiers. Israel journal of mathematics, vol. 15 (1973), pp. 282–300.
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 1 / March 1986
- Published online by Cambridge University Press:
- 12 March 2014, p. 234
- Print publication:
- March 1986
-
- Article
- Export citation
Esa Saarinen. Introduction. Game-theoretical semantics, Essays on semantics by Hintikka, Carlson, Peacocke, Rantala, and Saarinen, edited by Esa Saarinen, Synthese language library, vol. 5, D. Reidel Publishing Company, Dordrecht, Boston, and London, 1979, pp. vii–xii. - Jaakko Hintikka. Language-games. Game-theoretical semantics, Essays on semantics by Hintikka, Carlson, Peacocke, Rantala, and Saarinen, edited by Esa Saarinen, Synthese language library, vol. 5, D. Reidel Publishing Company, Dordrecht, Boston, and London, 1979, pp. 1–26. (Reprinted with minor changes and added appendix from Acta philosophica Fennica, vol. 28 no. 1-3 (1976), Essays on Wittgenstein in honour of G. H. von Wright, pp. 105-125.) - Jaakko Hintikka. Quantifiers in logic and quantifiers in natural languages. Game-theoretical semantics, Essays on semantics by Hintikka, Carlson, Peacocke, Rantala, and Saarinen, edited by Esa Saarinen, Synthese language library, vol. 5, D. Reidel Publishing Company, Dordrecht, Boston, and London, 1979, pp. 27–47. (Reprinted from Philosophy of logic, edited by Stephan Körner, Basil Blackwell, Oxford, and University of California Press, Berkeley and Los Angeles, 1976, pp. 208-232.) - Jaakko Hintikka. Quantifiers vs. quantification theory. Game-theoretical semantics, Essays on semantics by Hintikka, Carlson, Peacocke, Rantala, and Saarinen, edited by Esa Saarinen, Synthese language library, vol. 5, D. Reidel Publishing Company, Dordrecht, Boston, and London, 1979, pp. 49–79. (Reprinted from Dialectica, vol. 27 no. 3-4 (for 1973, publ. 1974), pp. 329-358; also in Linguistic inquiry, vol. 5 (1974), pp. 153-177.) - Jaakko Hintikka. Quantifiers in natural languages: some logical problems. Game-theoretical semantics, Essays on semantics by Hintikka, Carlson, Peacocke, Rantala, and Saarinen, edited by Esa Saarinen, Synthese language library, vol. 5, D. Reidel Publishing Company, Dordrecht, Boston, and London, 1979, pp. 81–117. (Sections 1–9 reprinted from Essays on mathematical and philosophical logic. Proceedings of the Fourth Scandinavian Logic Symposium and of the First Soviet-Finnish Logic Conference, Jyväskylä, Finland, June 29–July 6, 1976, edited by Jaakko Hintikka, Ilkka Niiniluoto, and Esa Saarinen, Synthese library, vol. 122, D. Reidel Publishing Company, Dordrecht, Boston, and London, 1979, pp. 295-314; sections 10-19 reprinted from Linguistics and philosophy, vol. 1 (1977), pp. 153-172.) - Christopher Peacocke. Game-theoretic semantics, quantifiers and truth: comments on Professor Hintikka's paper. Game-theoretical semantics, Essays on semantics by Hintikka, Carlson, Peacocke, Rantala, and Saarinen, edited by Esa Saarinen, Synthese language library, vol. 5, D. Reidel Publishing Company, Dordrecht, Boston, and London, 1979, pp. 119–134. - Jaakko Hintikka. Rejoinder to Peacocke. Game-theoretical semantics, Essays on semantics by Hintikka, Carlson, Peacocke, Rantala, and Saarinen, edited by Esa Saarinen, Synthese language library, vol. 5, D. Reidel Publishing Company, Dordrecht, Boston, and London, 1979, pp. 135–151. - Jaakko Hintikka and Esa Saarinen. Semantical games and the Bach–Peters paradox. Game-theoretical semantics, Essays on semantics by Hintikka, Carlson, Peacocke, Rantala, and Saarinen, edited by Esa Saarinen, Synthese language library, vol. 5, D. Reidel Publishing Company, Dordrecht, Boston, and London, 1979, pp. 153–178. (Reprinted from Theoretical linguistics, vol. 2 (1975), pp. 1-20.)
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 1 / March 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 240-244
- Print publication:
- March 1986
-
- Article
- Export citation
Finitely generated free Heyting algebras
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 1 / March 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 152-165
- Print publication:
- March 1986
-
- Article
- Export citation
Peter Aczel. Frege structures and the notions of proposition, truth and set. The Kleene Symposium, Proceedings of the symposium held June 18–24, 1978 at Madison, Wisconsin, U.S.A., edited by Jon Barwise, H. Jerome Keisler, and Kenneth Kunen, Studies in logic and the foundations of mathematics, vol. 101, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1980, pp. 31–59.
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 1 / March 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 244-246
- Print publication:
- March 1986
-
- Article
- Export citation
The index set {e: We ≡1X}.
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 1 / March 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 110-116
- Print publication:
- March 1986
-
- Article
- Export citation
Recursion in Kolmogorov's R-operator and the ordinal σ3
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 1 / March 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-11
- Print publication:
- March 1986
-
- Article
- Export citation
research-article
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 1 / March 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 22-32
- Print publication:
- March 1986
-
- Article
- Export citation
JSL volume 51 issue 1 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 1 / March 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- March 1986
-
- Article
-
- You have access
- Export citation
Jensen's ⃞ principles and the Novák number of partially ordered sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 1 / March 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 47-58
- Print publication:
- March 1986
-
- Article
- Export citation
G. Metakides and A. Nerode. Recursion theory and algebra. Algebra and logic, Papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia, edited by J. N. Crossley, Lecture notes in mathematics, vol. 450, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 209–219. - Iraj Kalantari and Allen Retzlaff. Maximal vector spaces under automorphisms of the lattice of recursively enumerable vector spaces. The journal of symbolic logic, vol. 42 no. 4 (for 1977, pub. 1978), pp. 481–491. - Iraj Kalantari. Major subspaces of recursively enumerable vector spaces. The journal of symbolic logic, vol. 43 (1978), pp. 293–303. - J. Remmel. A r-maximal vector space not contained in any maximal vector space. The journal of symbolic logic, vol. 43 (1978), pp. 430–441. - Allen Retzlaff. Simple and hyperhypersimple vector spaces. The journal of symbolic logic, vol. 43 (1978), pp. 260–269. - J. B. Remmel. Maximal and cohesive vector spaces. The journal of symbolic logic, vol. 42 no. 3 (for 1977, pub. 1978), pp. 400–418. - J. Remmel. On r.e. and co-r.e. vector spaces with nonextendible bases. The journal of symbolic logic, vol. 45 (1980), pp. 20–34. - M. Lerman and J. B. Remmel. The universal splitting property: I. Logic Colloquim '80, Papers intended for the European summer meeting of the Association for Symbolic Logic, edited by D. van Dalen, D. Lascar, and T. J. Smiley, Studies in logic and the foundations of mathematics, vol. 108, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1982, pp. 181–207. - J. B. Remmel. Recursively enumerable Boolean algebras. Annals of mathematical logic, vol. 15 (1978), pp. 75–107. - J. B. Remmel. r-Maximal Boolean algebras. The journal of symbolic logic, vol. 44 (1979), pp. 533–548. - J. B. Remmel. Recursion theory on algebraic structures with independent sets. Annals of mathematical logic, vol. 18 (1980), pp. 153–191. - G. Metakides and J. B. Remmel. Recursion theory on orderings. I. A model theoretic setting. The journal of symbolic logic, vol. 44 (1979), pp. 383–402. - J. B. Remmel. Recursion theory on orderings. II. The journal of symbolic logic, vol. 45 (1980), pp. 317–333.
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 1 / March 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 229-232
- Print publication:
- March 1986
-
- Article
- Export citation
Weak partition relations and measurability
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 1 / March 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 33-38
- Print publication:
- March 1986
-
- Article
- Export citation
S. V. Bredikhin, Yu. L. Ershov, and V. E. Kal'nei. Fields with two linear orderings. Mathematical notes of the Academy of Sciences of the USSR, vol. 7(1970), pp. 319–325. (English translation of Polá s dvumá linéjnymi porádkami, Matèmatčéskié zamétki, vol. 7 (1970), pp. 525–536.) - Moshe Jarden. The elementary theory of large e-fold ordered fields. Acta mathematica, vol. 149 (1982), pp. 239–260. - Alexander Prestel. Pseudo real closed fields. Set theory and model theory, Proceedings of an informal symposium held at Bonn, June 1–3, 1979, edited by R. B. Jensen and A. Prestel, Lecture notes in mathematics, vol. 872, Springer-Verlag, Berlin, Heidelberg, and New York, 1981, pp. 127–156. - Moshe Jarden. On the model companion of the theory of e-fold ordered fields. Acta mathematica, vol. 150(1983), pp. 243–253. - Alexander Prestel. Decidable theories of preordered fields. Mathematische Annalen, vol. 258 (1982), pp. 481–492. - Ju. L. Eršov. Regularly r-closed fields. Soviet mathematics—Doklady, vol. 26 (for 1982, pub. 1983), pp. 363–366. (English translation by E. Mendelson of Régulárno r-zamknutyé polá, Doklady Akadémii Nauk SSSR, vol. 226 (1982), pp. 538-540.)
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 1 / March 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 235-237
- Print publication:
- March 1986
-
- Article
- Export citation