13629 results in The Journal of Symbolic Logic
Blunt and topless end extensions of models of set theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 4 / December 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1053-1073
- Print publication:
- December 1983
-
- Article
- Export citation
Model-complete theories of e-free Ax fields
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 4 / December 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1125-1129
- Print publication:
- December 1983
-
- Article
- Export citation
Downward transfer of satisfiability for sentences of L1,1
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 4 / December 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1146-1150
- Print publication:
- December 1983
-
- Article
- Export citation
Model-complete theories of formally real fields and formally p-adic fields
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 4 / December 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1130-1139
- Print publication:
- December 1983
-
- Article
- Export citation
Obras completas, by Kurt Gödel. Edited by Jesús Mosterín. Alianza universidad. Alianza Editorial, Madrid1981, 430 pp. - Jesús Mosterín. Prólogo. Pp. 9–13. - Jesús Mosterín. Introducción. Pp. 15–19, 35–36, 41, 45–54, 91, 95–96, 101–102, 105–106, 109, 113–114, 117–119, 127–129, 147–150, 183–184, 187–188, 191, 195–196, 205–213, 295–296, 329–330, 337–339, 401–403, 413–414. - Kurt Gödel. La suftciencia de los axiomas del caĺculo lógico de primer orden. Pp. 20–34. Spanish translation by Jesús Mosterín of 4182. - Kurt Gödel. Un caso especial del problema de la decision en la Idgica tedrica. Pp. 37–39. Spanish translation by Jesús Mosterín of 4187. - Kurt Gödel. Algunos resultados metamatemáticos sobre completudy consistencia. Pp. 42–43. Spanish translation by Jesús Mosterín of 4181. - Kurt Gödel. Sobre sentencias formalmente indecidibles de Principia mathematica y sistemas afines. Pp. 55–89. Spanish translation by Jesús Mosterín of 4185 with an added note from XXXVII 405(5). - Kurt Gödel. Sobre completud y consistencia. Pp. 92–94. Spanish translation by Jesús Mosterin of 4188 with an added note from XXXVII 405(6). - Kurt Gödel. Discusión sobre la fundamentación de la matemática. Pp. 97–100. Spanish translation by Jesús Mosterín of 4184 and 4185. - Kurt Gödel. Una propriedad de los modelos del cálculo conectivo. Pp. 103–104. Spanish translation by Jesús Mosterín of 4189.
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 4 / December 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1199-1201
- Print publication:
- December 1983
-
- Article
- Export citation
Paul-Henri Steinauer. La logique au service du droit. Étude de logique contemporaine pour une meilleure communication de la pensée juridique. Arbeiten aus dem Iuristischen Seminar der Universitat Freiburg Schweiz, no. 48. Éditions Universitaires Fribourg Suisse, Fribourg1979, XII + 198 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 4 / December 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1206-1207
- Print publication:
- December 1983
-
- Article
- Export citation
A Baire-type theorem for cardinals
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 4 / December 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1082-1089
- Print publication:
- December 1983
-
- Article
- Export citation
On the Ramsey property for sets of reals
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 4 / December 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1035-1045
- Print publication:
- December 1983
-
- Article
- Export citation
J. Zucker. The correspondence between cut-elimination and normalization. Annals of mathematical logic, vol. 7 no. 1 (1974), pp. 1–112, and vol. 7, no. 2–3 (1974), pp. 113–156.
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 4 / December 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1204-1206
- Print publication:
- December 1983
-
- Article
- Export citation
Addendum to “Logic of reduced power structures”
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 4 / December 1983
- Published online by Cambridge University Press:
- 12 March 2014, p. 1145
- Print publication:
- December 1983
-
- Article
- Export citation
Characterizing the continuous functionals
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 4 / December 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 965-969
- Print publication:
- December 1983
-
- Article
- Export citation
Algebraic semantics for quasi-classical modal logics
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 4 / December 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 941-964
- Print publication:
- December 1983
-
- Article
- Export citation
JSL volume 48 issue 4 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 4 / December 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- December 1983
-
- Article
-
- You have access
- Export citation
On a generalization of Jensen's □κ, and strategic closure of partial orders
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 4 / December 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1046-1052
- Print publication:
- December 1983
-
- Article
- Export citation
Meeting of the Association for Symbolic Logic, Marseilles, 1981 (the Herbrand Symposium)
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 4 / December 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1210-1232
- Print publication:
- December 1983
-
- Article
- Export citation
Joseph G. Rosenstein. Linear orderings. Pure and applied mathematics, no. 98. Academic Press, New York and London1982, xvii + 487 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 4 / December 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1207-1209
- Print publication:
- December 1983
-
- Article
- Export citation
The noncommutativity of random and generic extensions
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 4 / December 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1008-1012
- Print publication:
- December 1983
-
- Article
- Export citation
Edward Nelson. Internal set theory: a new approach to nonstandard analysis. Bulletin of the American Mathematical Society, vol. 83 (1977), pp. 1165–1198.
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 4 / December 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1203-1204
- Print publication:
- December 1983
-
- Article
- Export citation
A tableau system of proof for predicate-functor logic with identity1
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 4 / December 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1140-1144
- Print publication:
- December 1983
-
- Article
- Export citation
Random models and the Gödel case of the decision problem
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 4 / December 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1120-1124
- Print publication:
- December 1983
-
- Article
- Export citation