13629 results in The Journal of Symbolic Logic
Douglas R. Hofstadter. Gödel, Escher, Bach: an eternal golden braid. Basic Books, Inc., New York1979, xxi + 777 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 3 / September 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 864-871
- Print publication:
- September 1983
-
- Article
- Export citation
Additive structure in uncountable models for a fixed completion of P
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 3 / September 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 623-628
- Print publication:
- September 1983
-
- Article
- Export citation
On the interpretation of combinators with weak reduction1
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 3 / September 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 558-563
- Print publication:
- September 1983
-
- Article
- Export citation
Mapping a set of reals onto the reals
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 3 / September 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 575-584
- Print publication:
- September 1983
-
- Article
- Export citation
Logical works, by Mordchaj Wajsberg. Edited and with an introduction by Stanisław J. Surma. ZakВad Narodowy imienia Ossolińskich, Wydawnictwo Polskiej Akademii Nauk, Wrocław etc. 1977, 216 pp. - Stanisław J. Surma. Mordchaj Wajsberg. Life and work. Pp. 7–11. - Mordchaj Wajsberg. Axiomatization of the three-valued propositional calculus. Pp. 12–29. A reprint of XXXV 442(15) (English translation by B. Gruchman and S. McCall of 4371). - Mordchaj Wajsberg. On the axiom system of propositional calculus. Pp. 30–36. English translation of 4372. - Mordchaj Wajsberg. A new axiom of propositional calculus in Sheffer's sbmbols. Pp. 37–39. English translation of 4373. - Mordchaj Wajsberg. Investigations of functional calculus for finite domain of individuals. Pp. 40–49. English translation of 4374. - Mordchaj Wajsberg. An extended class calculus. Pp. 50–61. English translation of 4375. - Mordchaj Wajsberg. A contribution to metamathematics. Pp. 62–88. English translation of 4376. - Mordchaj Wajsberg. Contributions to meta-calculus of propositions I. Pp. 89–106. English translation of 4377. - Mordchaj Wajsberg. On the matrix method of independence proofs. Pp. 107–131. English translation of I 75. - Mordchaj Wajsberg. On A. Heyting's propositional calculus. Pp. 132–171. English translation of III 169. - Mordchaj Wajsberg. Contributions to metalogic. Pp. 172–200. Areprint of XXXV 442(16) (English translation by S. McCall and P. Woodruff of II 93). - Mordchaj Wajsberg. Contributions to metalogic II. Pp. 201–214. A reprint of XXXV 442(17) (English translation by S. McCall of V 31). - Mordchaj Wajsberg. Review of Mihailescu's Recherches sur les formes normalespar rapport à l'equivalence et la disjonction, dans le calcul des propositions (IV 91). Pp. 215–216. English translation of pp. 91–92 of The journal of symbolic logic, vol. 4 (1939).
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 3 / September 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 873-874
- Print publication:
- September 1983
-
- Article
- Export citation
Meeting of the Association for Symbolic Logic, Singapore, 1981
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 3 / September 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 893-897
- Print publication:
- September 1983
-
- Article
- Export citation
Gaisi Takeuti and Mariko Yasugi. The ordinals of the systems of second order arithmetic with the provably -comprehension axiom and with the -comprehension axiom respectively. Japanese journal of mathematics, vol. 41 (1973), pp. 1–67.
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 3 / September 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 877-880
- Print publication:
- September 1983
-
- Article
- Export citation
Classifying positive equivalence relations
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 3 / September 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 529-538
- Print publication:
- September 1983
-
- Article
- Export citation
Some model theory of modules. I. On total transcendence of modules
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 3 / September 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 570-574
- Print publication:
- September 1983
-
- Article
- Export citation
Closure properties of almost-finiteness classes in recursive function theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 3 / September 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 756-763
- Print publication:
- September 1983
-
- Article
- Export citation
R. G. Jeroslow. Redundancies in the Hilbert–Bernays derivability conditions for Gödel's second incompleteness theorem. The journal of symbolic logic, vol. 38 (1973), pp. 359–367.
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 3 / September 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 875-876
- Print publication:
- September 1983
-
- Article
- Export citation
Forcing closed unbounded sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 3 / September 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 643-657
- Print publication:
- September 1983
-
- Article
- Export citation
G. Metakides and A. Nerode. Recursively enumerable vector spaces. Annals of mathematical logic, vol. 11 (1977), pp. 147–171. - G. Metakides and A. Nerode. Effective content of field theory. Annals of mathematical logic, vol. 17 (1979), pp. 289–320. - G. Metakides and A. Nerode. Recursion theory on fields and abstract dependence. Journal of algebra, vol. 65 (1980), pp. 36–59.
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 3 / September 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 880-882
- Print publication:
- September 1983
-
- Article
- Export citation
Some local definability results on countable topological structures1
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 3 / September 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 683-692
- Print publication:
- September 1983
-
- Article
- Export citation
Forcing in intuitionistic systems without power-set1
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 3 / September 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 670-682
- Print publication:
- September 1983
-
- Article
- Export citation
JSL volume 48 issue 3 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 3 / September 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- September 1983
-
- Article
-
- You have access
- Export citation
Solomon Feferman. Systems of predicative analysis, II: representations of ordinals. The journal of symbolic logic, vol. 33 (1968), pp. 193–220. - Peter Aczel. Describing ordinals using functional of transfinite type. The journal of symbolic logic, vol. 37 (1972), pp. 35–47. - Jane Bridge. A simplification of the Bachmann method for generating large countable ordinals. The journal of symbolic logic, vol. 40 (1975), pp. 171–185. - W. Buchholz. Normalfunktionen und konstruktive Systeme von Ordinalzahlen. ISILC proof theory symposion, Dedicated to Kurt Schütte on the occasion of his 65th birthday, Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974, edited by J. Diller and G. H. Müller, Lecture notes in mathematics, vol. 500, Springer-Verlag, Berlin, Heidelberg, and New York1975, pp. 4–25. - Wilfried Buchholz. Über Teilsysteme von . Archiv für mathematische Logik und Grundlagenforschung, vol. 18 no. 1–2 (1976), pp. 85–98. - Wilfried Buchholz and Kurt Schütte. Die Beziehungen zwischen den Ordinalzahlsystemen Σ und . Archiv für mathematische Logik und Grundlagenforschung, vol. 17 no. 3–4 (1976), pp. 179–189.
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 3 / September 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 876-877
- Print publication:
- September 1983
-
- Article
- Export citation
Michael R. ΠGarey and David S. Johnson. Computers and intractability. A guide to the theory of NP-completeness. W. H. Freeman and Company, San Francisco1979, x + 338 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 2 / June 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 498-500
- Print publication:
- June 1983
-
- Article
- Export citation
K. McAloon. Introduction. Modèles de l'arithmétique, Séminaire Paris VII, edited by K. McAloon, Asterisque, no. 73, Société Mathématique de France, Paris1980, pp. 1–2. - L. A. S. Kirby. La méthode des indicatrices et le théorème d'incomplétude. Modèles de l'arithmétique, Séminaire Paris VII, edited by K. McAloon, Asterisque, no. 73, Société Mathématique de France, Paris1980, pp. 5–18. - Daniel Lascar. Une indicatrice de type “Ramsey” pour l'arithmétique de Peano et la formule de Paris-Harrington. Modèles de l'arithmétique, Séminaire Paris VII, edited by K. McAloon, Asterisque, no. 73, Société Mathématique de France, Paris1980, 19–30. - Kenneth McAloon. Les rapports entre la méthode des indicatrices et la méthode de Gödel pour obtenir des résultats d'indépendance. Modèles de l'arithmétique, Séminaire Paris VII, edited by K. McAloon, Asterisque, no. 73, Société Mathématique de France, Paris1980, pp. 31–39. - Kenneth McAloon. Progressions transfinies de théories axiomatiques, formes combinatoires du théorème d'incomplétude et fonctions récursives à croissance rapide. Modèles de l'arithmétique, Séminaire Paris VII, edited by K. McAloon, Asterisque, no. 73, Société Mathématique de France, Paris1980, pp. 41–58. - M. A. Dickmann. Types remarquables et extensions de modèles dans l'arithmétique de Peano, I. Modèles de l'arithmétique, Séminaire Paris VII, edited by K. McAloon, Asterisque, no. 73, Société Mathématique de France, Paris1980, pp. 59–117. - Jean-Pierre Ressayre. Types remarquables et extensions de modèles dans l'arithmétique de Peano, II. With an appendix by M. A. Dickmann. Modèles de l'arithmétique, Séminaire Paris VII, edited by K. McAloon, Asterisque, no. 73, Société Mathématique de France, Paris1980, pp. 119–154.
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 2 / June 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 483-484
- Print publication:
- June 1983
-
- Article
- Export citation
Sören Halldén. The foundations of decision logic. Library of theoria, no. 14. CWK Gleerup, Lund1980, 99 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 2 / June 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 502-503
- Print publication:
- June 1983
-
- Article
- Export citation