13629 results in The Journal of Symbolic Logic
Continuity and elementary logic1
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 4 / December 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 700-716
- Print publication:
- December 1974
-
- Article
- Export citation
Minimal pairs and high recursively enumerable degrees
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 4 / December 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 655-660
- Print publication:
- December 1974
-
- Article
- Export citation
On subcreative sets and S-reducibility
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 4 / December 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 669-677
- Print publication:
- December 1974
-
- Article
- Export citation
The ω-consistency of number theory via Herbrand's theorem
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 4 / December 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 678-692
- Print publication:
- December 1974
-
- Article
- Export citation
Ordinal bounds for κ-consistency
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 4 / December 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 693-699
- Print publication:
- December 1974
-
- Article
- Export citation
The isomorphism property in nonstandard analysis and its use in the theory of Banach spaces
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 4 / December 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 717-731
- Print publication:
- December 1974
-
- Article
- Export citation
Generalizing special Aronszajn trees
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 4 / December 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 732-740
- Print publication:
- December 1974
-
- Article
- Export citation
Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 4 / December 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 741-778
- Print publication:
- December 1974
-
- Article
- Export citation
Relation of Leśniewski's mereology to Boolean algebra
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 4 / December 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 638-648
- Print publication:
- December 1974
-
- Article
- Export citation
Implicational formulas in intuitionistic logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 4 / December 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 661-664
- Print publication:
- December 1974
-
- Article
- Export citation
String theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 4 / December 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 625-637
- Print publication:
- December 1974
-
- Article
- Export citation
Cores of Π11 sets of reals
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 4 / December 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 649-654
- Print publication:
- December 1974
-
- Article
- Export citation
An ω1-categorical ring which is not almost strongly minimal
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 4 / December 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 665-668
- Print publication:
- December 1974
-
- Article
- Export citation
E. W. Beth. Remarks on intuitionistic logic. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by A. Heyting, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1959, pp. 15–25.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 3 / September 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 609
- Print publication:
- September 1974
-
- Article
- Export citation
Bruno Scarpellini. Proof theory and intuitionistic systems. Lecture notes in mathematics, no. 212. Springer-Verlag, Berlin, Heidelberg, and New York, 1971, VII + 291 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 3 / September 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 607-609
- Print publication:
- September 1974
-
- Article
- Export citation
Jack H. Silver. Some applications of model theory in set theory. Annals of mathematical logic, vol. 3 no. 1 (1971), pp. 45–110.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 3 / September 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 597-598
- Print publication:
- September 1974
-
- Article
- Export citation
JSL volume 39 issue 3 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 3 / September 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. b1
- Print publication:
- September 1974
-
- Article
-
- You have access
- Export citation
Shôji Maehara. A system of simple type theory with type variables. Annals of the Japan Association for Philosophy of Science, vol. 3 no. 4 (1969), pp. 131–137.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 3 / September 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 604-605
- Print publication:
- September 1974
-
- Article
- Export citation
Dag Prawitz. Hauptsatz for higher order logic. The journal of symbolic logic, Bd. 33 (1968), S. 452–457. - Dag Prawitz. Completeness and Hauptsatz for second order logic. Theoria (Lund), Bd. 33 (1967), S. 246–258. - Moto-o Takahashi. A proof of cut-elimination in simple type-theory. Journal of the Mathematical Society of Japan, Bd. 19 (1967), S. 399–410.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 3 / September 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 607
- Print publication:
- September 1974
-
- Article
- Export citation
Some results in modal model theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 3 / September 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 496-508
- Print publication:
- September 1974
-
- Article
- Export citation