13629 results in The Journal of Symbolic Logic
The axiom of determinacy implies dependent choices in L(R)
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 1 / March 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 161-173
- Print publication:
- March 1984
-
- Article
- Export citation
Some model theory of modules. III. On infiniteness of sets definable in modules
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 1 / March 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 32-46
- Print publication:
- March 1984
-
- Article
- Export citation
H. P. Barendregt. The lambda calculus. Its syntax and semantics. Studies in logic and foundations of mathematics, vol. 103. North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1981, xiv + 615 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 1 / March 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 301-303
- Print publication:
- March 1984
-
- Article
- Export citation
Toward useful type-free theories. I
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 1 / March 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 75-111
- Print publication:
- March 1984
-
- Article
- Export citation
Simplified morasses
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 1 / March 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 257-271
- Print publication:
- March 1984
-
- Article
- Export citation
Magidor-Malitz quantifiers in modules
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 1 / March 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-8
- Print publication:
- March 1984
-
- Article
- Export citation
Regularity in models of arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 1 / March 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 272-280
- Print publication:
- March 1984
-
- Article
- Export citation
Some properties of invariant sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 1 / March 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 9-21
- Print publication:
- March 1984
-
- Article
- Export citation
Model companions for finitely generated universal Horn classes
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 1 / March 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 68-74
- Print publication:
- March 1984
-
- Article
- Export citation
On the orbits of hyperhypersimple sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 1 / March 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 51-62
- Print publication:
- March 1984
-
- Article
- Export citation
JSL volume 49 issue 1 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 1 / March 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
- Print publication:
- March 1984
-
- Article
-
- You have access
- Export citation
Peter Aczel. The strength of Martin-Löf's intuitionistic type theory with one universe. Proceedings of the symposiums on mathematical logic in Oulu 1974 and in Helsinki 1975, edited by Seppo Miettinen and Jouko Väänänen, The department of philosophy, University of Helsinki, Helsinki1977, pp. 1–32.
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 1 / March 1984
- Published online by Cambridge University Press:
- 12 March 2014, p. 313
- Print publication:
- March 1984
-
- Article
- Export citation
Peter Aczel. The type theoretic interpretation of constructive set theory. Logic Colloquium '77, Proceedings of the colloquium held in Wrocław, August 1977, edited by Angus Macintyre, Leszek Pacholski, and Jeff Paris, Studies in logic and the foundations of mathematics, vol. 96, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1978, pp. 55–66.
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 1 / March 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 313-314
- Print publication:
- March 1984
-
- Article
- Export citation
On the compactness of some Boolean algebras
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 1 / March 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 63-67
- Print publication:
- March 1984
-
- Article
- Export citation
Correction to a definition of negation
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 1 / March 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 47-50
- Print publication:
- March 1984
-
- Article
- Export citation
Meeting of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 1 / March 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 322-326
- Print publication:
- March 1984
-
- Article
- Export citation
The word problem for cancellation semigroups with zero
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 1 / March 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 184-191
- Print publication:
- March 1984
-
- Article
- Export citation
Equality and lyndon's interpolation theorem
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 1 / March 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 123-128
- Print publication:
- March 1984
-
- Article
- Export citation
Many-times huge and superhuge cardinals
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 1 / March 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 112-122
- Print publication:
- March 1984
-
- Article
- Export citation
Angus Macintyre. On ω1-categorical theories of abelian groups. Fundamenta mathematicae, vol. 70 (1971), pp. 253–270. - Angus Macintyre. On ω1-categorical theories of fields. Fundamenta mathematicae, vol. 71 (1971), pp. 1–25. - Joachim Reineke. Minimale Gruppen. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 21 (1975), pp. 357–359. - J. T. Baldwin and Jan Saxl. Logical stability in group theory. The journal of the Australian Mathematical Society, vol. 21 ser. A (1976), pp. 267–276. - B. I. Zil'bér. Gruppy i kol'ca, téoriá kotoryh katégorična (Groups and rings with a categorical theory). Fundamenta mathematicae, vol. 95 (1977), pp. 173–188. - Walter Baur, Gregory Cherlin, and Angus Macintyre. Totally categorical groups and rings. Journal of algebra, vol. 57 (1979), pp. 407–440. - Gregory Cherlin. Groups of small Morley rank. Annals of mathematical logic, vol. 17 (1979), pp. 1–28. - G. Cherlin and S. Shelah. Superstable fields and groups. Annals of mathematical logic, vol. 18 (1980), pp. 227–270. - Bruno Poizat. Sous-groupes définissables d 'un groupe stable. The journal of symbolic logic, vol. 46 (1981), pp. 137–146.
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 1 / March 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 317-321
- Print publication:
- March 1984
-
- Article
- Export citation