13629 results in The Journal of Symbolic Logic
Consequences of the provability of NP ⊆ P/poly
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 4 / December 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1353-1371
- Print publication:
- December 2007
-
- Article
- Export citation
The ground axiom
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 4 / December 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1299-1317
- Print publication:
- December 2007
-
- Article
- Export citation
JSL volume 72 issue 4 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 4 / December 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- December 2007
-
- Article
-
- You have access
- Export citation
Increasing δ21 and Namba-style forcing
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 4 / December 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1372-1378
- Print publication:
- December 2007
-
- Article
- Export citation
An untyped higher order logic with Y combinator
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 4 / December 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1385-1404
- Print publication:
- December 2007
-
- Article
- Export citation
Bounding nonsplitting enumeration degrees
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 4 / December 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1405-1417
- Print publication:
- December 2007
-
- Article
- Export citation
Fondements de la logique positive
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 4 / December 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1141-1162
- Print publication:
- December 2007
-
- Article
- Export citation
The pseudocompactness of [0.1] is equivalent to the uniform continuity theorem
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 4 / December 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1379-1384
- Print publication:
- December 2007
-
- Article
- Export citation
Stable definability and generic relations
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 4 / December 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1163-1176
- Print publication:
- December 2007
-
- Article
- Export citation
JSL volume 72 issue 4 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 4 / December 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b10
- Print publication:
- December 2007
-
- Article
-
- You have access
- Export citation
Intuitionistic logic freed of all metarules
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 4 / December 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1204-1218
- Print publication:
- December 2007
-
- Article
- Export citation
QL(ℂn) determines n
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 4 / December 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1194-1196
- Print publication:
- December 2007
-
- Article
- Export citation
Groups definable in ordered vector spaces over ordered division rings
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 4 / December 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1108-1140
- Print publication:
- December 2007
-
- Article
- Export citation
On the complexity of alpha conversion
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 4 / December 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1197-1203
- Print publication:
- December 2007
-
- Article
- Export citation
Classifying Borel automorphisms
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 4 / December 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1081-1092
- Print publication:
- December 2007
-
- Article
- Export citation
Winning the pressing down game but not Banach-Mazur
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 4 / December 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1323-1335
- Print publication:
- December 2007
-
- Article
- Export citation
Flag algebras
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 4 / December 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1239-1282
- Print publication:
- December 2007
-
- Article
- Export citation
Cellularity and the structure of pseudo-trees
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 4 / December 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1093-1107
- Print publication:
- December 2007
-
- Article
- Export citation
There may be infinitely many near-coherence classes under u < ∂
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 4 / December 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1228-1238
- Print publication:
- December 2007
-
- Article
- Export citation
The complexity of resolution refinements
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 4 / December 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1336-1352
- Print publication:
- December 2007
-
- Article
- Export citation