13629 results in The Journal of Symbolic Logic
Model theoretic connected components of finitely generated nilpotent groups
-
- Journal:
- The Journal of Symbolic Logic / Volume 78 / Issue 1 / March 2013
- Published online by Cambridge University Press:
- 12 March 2014, pp. 245-259
- Print publication:
- March 2013
-
- Article
- Export citation
Getting more colors II
-
- Journal:
- The Journal of Symbolic Logic / Volume 78 / Issue 1 / March 2013
- Published online by Cambridge University Press:
- 12 March 2014, pp. 17-38
- Print publication:
- March 2013
-
- Article
- Export citation
Some jump-like operations in β-recursion theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 78 / Issue 1 / March 2013
- Published online by Cambridge University Press:
- 12 March 2014, pp. 57-71
- Print publication:
- March 2013
-
- Article
- Export citation
Reverse mathematics and a Ramsey-type König's Lemma
-
- Journal:
- The Journal of Symbolic Logic / Volume 77 / Issue 4 / December 2012
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1272-1280
- Print publication:
- December 2012
-
- Article
- Export citation
The range property fails for H
-
- Journal:
- The Journal of Symbolic Logic / Volume 77 / Issue 4 / December 2012
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1195-1210
- Print publication:
- December 2012
-
- Article
- Export citation
Simultaneous reflection and impossible ideals
-
- Journal:
- The Journal of Symbolic Logic / Volume 77 / Issue 4 / December 2012
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1325-1338
- Print publication:
- December 2012
-
- Article
- Export citation
On algebraic closure in pseudofinite fields
-
- Journal:
- The Journal of Symbolic Logic / Volume 77 / Issue 4 / December 2012
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1057-1066
- Print publication:
- December 2012
-
- Article
- Export citation
Kurepa trees and Namba forcing
-
- Journal:
- The Journal of Symbolic Logic / Volume 77 / Issue 4 / December 2012
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1281-1290
- Print publication:
- December 2012
-
- Article
- Export citation
Interpreting true arithmetic in the local structure of the enumeration degrees
-
- Journal:
- The Journal of Symbolic Logic / Volume 77 / Issue 4 / December 2012
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1184-1194
- Print publication:
- December 2012
-
- Article
- Export citation
JSL volume 77 issue 4 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 77 / Issue 4 / December 2012
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- December 2012
-
- Article
-
- You have access
- Export citation
Topological differential fields and dimension functions
-
- Journal:
- The Journal of Symbolic Logic / Volume 77 / Issue 4 / December 2012
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1147-1164
- Print publication:
- December 2012
-
- Article
- Export citation
A generalization of Sierpiński's paradoxical decompositions: Coloring semialgebraic grids
-
- Journal:
- The Journal of Symbolic Logic / Volume 77 / Issue 4 / December 2012
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1165-1183
- Print publication:
- December 2012
-
- Article
- Export citation
On Kueker's conjecture
-
- Journal:
- The Journal of Symbolic Logic / Volume 77 / Issue 4 / December 2012
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1245-1256
- Print publication:
- December 2012
-
- Article
- Export citation
Homogeneously Suslin sets in tame mice
-
- Journal:
- The Journal of Symbolic Logic / Volume 77 / Issue 4 / December 2012
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1122-1146
- Print publication:
- December 2012
-
- Article
- Export citation
Jump degrees of torsion-free abelian groups
-
- Journal:
- The Journal of Symbolic Logic / Volume 77 / Issue 4 / December 2012
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1067-1100
- Print publication:
- December 2012
-
- Article
- Export citation
A constructive Galois connection between closure and interior
-
- Journal:
- The Journal of Symbolic Logic / Volume 77 / Issue 4 / December 2012
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1308-1324
- Print publication:
- December 2012
-
- Article
- Export citation
Definable well-orders of H(ω2) and GCH
-
- Journal:
- The Journal of Symbolic Logic / Volume 77 / Issue 4 / December 2012
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1101-1121
- Print publication:
- December 2012
-
- Article
- Export citation
Finitely generated free Heyting algebras: the well-founded initial segment
-
- Journal:
- The Journal of Symbolic Logic / Volume 77 / Issue 4 / December 2012
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1291-1307
- Print publication:
- December 2012
-
- Article
- Export citation
JSL volume 76 issue 4 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 77 / Issue 4 / December 2012
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
- Print publication:
- December 2012
-
- Article
-
- You have access
- Export citation
Undecidability of representability as binary relations
-
- Journal:
- The Journal of Symbolic Logic / Volume 77 / Issue 4 / December 2012
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1211-1244
- Print publication:
- December 2012
-
- Article
- Export citation