13629 results in The Journal of Symbolic Logic
Une théorie de Galois imaginaire
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 4 / December 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1151-1170
- Print publication:
- December 1983
-
- Article
- Export citation
Rabin's uniformization problem1
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 4 / December 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1105-1119
- Print publication:
- December 1983
-
- Article
- Export citation
Meeting of the Association for Symbolic Logic, Madison, 1982
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 4 / December 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1233-1239
- Print publication:
- December 1983
-
- Article
- Export citation
A filter lambda model and the completeness of type assignment1
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 4 / December 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 931-940
- Print publication:
- December 1983
-
- Article
- Export citation
Index of Reviews
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 4 / December 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1273-1283
- Print publication:
- December 1983
-
- Article
- Export citation
JSL volume 48 issue 4 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 4 / December 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b10
- Print publication:
- December 1983
-
- Article
-
- You have access
- Export citation
Rungs and trees
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 3 / September 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 847-863
- Print publication:
- September 1983
-
- Article
- Export citation
On the number of countable homogeneous models
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 3 / September 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 539-541
- Print publication:
- September 1983
-
- Article
- Export citation
Notions of weak genericity
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 3 / September 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 764-770
- Print publication:
- September 1983
-
- Article
- Export citation
The inverse of a regressive object
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 3 / September 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 804-815
- Print publication:
- September 1983
-
- Article
- Export citation
Some recent developments in higher recursion theory1
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 3 / September 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 629-642
- Print publication:
- September 1983
-
- Article
- Export citation
Hauptsatz for higher-order modal logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 3 / September 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 744-751
- Print publication:
- September 1983
-
- Article
- Export citation
Definability of r. e. sets in a class of recursion theoretic structures
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 3 / September 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 662-669
- Print publication:
- September 1983
-
- Article
- Export citation
A note on the undefinability of cuts
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 3 / September 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 564-569
- Print publication:
- September 1983
-
- Article
- Export citation
Reuben Hersh. Some proposals for reviving the philosophy of mathematics. Advances in mathematics, vol. 31 (1979), pp. 31–50.
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 3 / September 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 871-872
- Print publication:
- September 1983
-
- Article
- Export citation
A weak absolute consistency proof for some systems of illative combinatory logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 3 / September 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 771-776
- Print publication:
- September 1983
-
- Article
- Export citation
Arithmetical interpretations of dynamic logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 3 / September 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 704-713
- Print publication:
- September 1983
-
- Article
- Export citation
A second paper “On the interpolation theorem for the logic of constant domains”
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 3 / September 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 595-599
- Print publication:
- September 1983
-
- Article
- Export citation
On the expressibility hierarchy of Magidor-Malitz quantifiers
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 3 / September 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 542-557
- Print publication:
- September 1983
-
- Article
- Export citation
On the strength of the Sikorski extension theorem for Boolean algebras
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 3 / September 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 841-846
- Print publication:
- September 1983
-
- Article
- Export citation