13629 results in The Journal of Symbolic Logic
Independence results for class forms of the axiom of choice
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 4 / December 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. 673-684
- Print publication:
- December 1978
-
- Article
- Export citation
Analytic determinacy and 0#
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 4 / December 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. 685-693
- Print publication:
- December 1978
-
- Article
- Export citation
A sequent calculus formulation of type assignment with equality rules for the λβ-calculus
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 4 / December 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. 643-649
- Print publication:
- December 1978
-
- Article
- Export citation
Some results on measure independent Gödel speed-ups1
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 4 / December 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. 667-672
- Print publication:
- December 1978
-
- Article
- Export citation
κ-Suslin logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 4 / December 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. 659-666
- Print publication:
- December 1978
-
- Article
- Export citation
Double jumps of minimal degrees
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 4 / December 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. 715-724
- Print publication:
- December 1978
-
- Article
- Export citation
JSL volume 4 issue 3 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 4 / December 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- December 1978
-
- Article
-
- You have access
- Export citation
JSL volume 4 issue 3 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 4 / December 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b6
- Print publication:
- December 1978
-
- Article
-
- You have access
- Export citation
Cardinal collapsing and ordinal definability
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 4 / December 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. 635-642
- Print publication:
- December 1978
-
- Article
- Export citation
Type two partial degrees1
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 4 / December 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. 623-629
- Print publication:
- December 1978
-
- Article
- Export citation
Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 4 / December 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. 732-758
- Print publication:
- December 1978
-
- Article
- Export citation
Examples in the theory of existential completeness
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 4 / December 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. 650-658
- Print publication:
- December 1978
-
- Article
- Export citation
Classifications of generalized index sets of open classes
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 4 / December 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. 694-714
- Print publication:
- December 1978
-
- Article
- Export citation
Some independence results for Peano arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 4 / December 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. 725-731
- Print publication:
- December 1978
-
- Article
- Export citation
Notice of the 1979 International Congress of Logic, Methodology and Philosophy of Science
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 4 / December 1978
- Published online by Cambridge University Press:
- 12 March 2014, p. 759
- Print publication:
- December 1978
-
- Article
- Export citation
The perfect set theorem and definable wellorderings of the continuum
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 4 / December 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. 630-634
- Print publication:
- December 1978
-
- Article
- Export citation
Uniform upper bounds on ideals of turing degrees1
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 3 / September 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. 601-612
- Print publication:
- September 1978
-
- Article
- Export citation
What is the Conference Board of the Mathematical Sciences?
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 3 / September 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. 620-621
- Print publication:
- September 1978
-
- Article
- Export citation
Number of countable models
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 3 / September 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. 492-496
- Print publication:
- September 1978
-
- Article
- Export citation
Prime and atomic models
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 3 / September 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. 385-393
- Print publication:
- September 1978
-
- Article
- Export citation