13629 results in The Journal of Symbolic Logic
Properly
enumeration degrees and the high/low hierarchy
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 4 / December 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1125-1144
- Print publication:
- December 2006
-
- Article
- Export citation
Glivenko theorems for substructural logics over FL
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 4 / December 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1353-1384
- Print publication:
- December 2006
-
- Article
- Export citation
JSL volume 71 issue 4 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 4 / December 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- December 2006
-
- Article
-
- You have access
- Export citation
Randomness and halting probabilities
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 4 / December 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1411-1430
- Print publication:
- December 2006
-
- Article
- Export citation
Core models in the presence of Woodin cardinals
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 4 / December 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1145-1154
- Print publication:
- December 2006
-
- Article
- Export citation
A Buchholz derivation system for the ordinal analysis of KP + Π3-reflection
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 4 / December 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1237-1283
- Print publication:
- December 2006
-
- Article
- Export citation
The Π3-theory of the
-enumeration degrees is undecidable
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 4 / December 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1284-1302
- Print publication:
- December 2006
-
- Article
- Export citation
Every 1-generic computes a properly 1-generic
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 4 / December 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1385-1393
- Print publication:
- December 2006
-
- Article
- Export citation
n–localization property
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 3 / September 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 881-902
- Print publication:
- September 2006
-
- Article
- Export citation
JSL volume 71 issue 3 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 3 / September 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
- Print publication:
- September 2006
-
- Article
-
- You have access
- Export citation
On supersimplicity and lovely pairs of cats
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 3 / September 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 763-776
- Print publication:
- September 2006
-
- Article
- Export citation
A polynomial translation of S4 into intuitionistic logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 3 / September 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 989-1001
- Print publication:
- September 2006
-
- Article
- Export citation
JSL volume 71 issue 3 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 3 / September 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- September 2006
-
- Article
-
- You have access
- Export citation
On theories and models in fuzzy predicate logics
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 3 / September 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 863-880
- Print publication:
- September 2006
-
- Article
- Export citation
The complexity of analytic tableaux
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 3 / September 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 777-790
- Print publication:
- September 2006
-
- Article
- Export citation
Universal spaces for classes of scattered eberlein compact spaces
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 3 / September 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1073-1080
- Print publication:
- September 2006
-
- Article
- Export citation
Correspondences between gentzen and hilbert systems
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 3 / September 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 903-957
- Print publication:
- September 2006
-
- Article
- Export citation
Univers positifs
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 3 / September 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 969-976
- Print publication:
- September 2006
-
- Article
- Export citation
Abstract Beth definability in institutions
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 3 / September 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1002-1028
- Print publication:
- September 2006
-
- Article
- Export citation
The proof-theoretic analysis of transfinitely iterated quasi least fixed points
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 3 / September 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 721-746
- Print publication:
- September 2006
-
- Article
- Export citation