13629 results in The Journal of Symbolic Logic
On computable self-embeddings of computable linear orderings
-
- Journal:
- The Journal of Symbolic Logic / Volume 74 / Issue 4 / December 2009
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1352-1366
- Print publication:
- December 2009
-
- Article
- Export citation
d-computable categoricity for algebraic fields
-
- Journal:
- The Journal of Symbolic Logic / Volume 74 / Issue 4 / December 2009
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1325-1351
- Print publication:
- December 2009
-
- Article
- Export citation
Successors of singular cardinals and coloring theorems II
-
- Journal:
- The Journal of Symbolic Logic / Volume 74 / Issue 4 / December 2009
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1287-1309
- Print publication:
- December 2009
-
- Article
- Export citation
Corrigendum to: “On the strength of Ramsey's Theorem for pairs”
-
- Journal:
- The Journal of Symbolic Logic / Volume 74 / Issue 4 / December 2009
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1438-1439
- Print publication:
- December 2009
-
- Article
- Export citation
First-order characterization of the radical of a finite group
-
- Journal:
- The Journal of Symbolic Logic / Volume 74 / Issue 4 / December 2009
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1429-1435
- Print publication:
- December 2009
-
- Article
- Export citation
Approachability at the second successor of a singular cardinal
-
- Journal:
- The Journal of Symbolic Logic / Volume 74 / Issue 4 / December 2009
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1211-1224
- Print publication:
- December 2009
-
- Article
- Export citation
Forbidden intervals
-
- Journal:
- The Journal of Symbolic Logic / Volume 74 / Issue 4 / December 2009
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1081-1099
- Print publication:
- December 2009
-
- Article
- Export citation
A note on defining transcendentals in function fields
-
- Journal:
- The Journal of Symbolic Logic / Volume 74 / Issue 4 / December 2009
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1206-1210
- Print publication:
- December 2009
-
- Article
- Export citation
Heirs of box types in polynomially bounded structures
-
- Journal:
- The Journal of Symbolic Logic / Volume 74 / Issue 4 / December 2009
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1225-1263
- Print publication:
- December 2009
-
- Article
- Export citation
Canonical rules
-
- Journal:
- The Journal of Symbolic Logic / Volume 74 / Issue 4 / December 2009
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1171-1205
- Print publication:
- December 2009
-
- Article
- Export citation
Incompatible Ω-Complete Theories
-
- Journal:
- The Journal of Symbolic Logic / Volume 74 / Issue 4 / December 2009
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1155-1170
- Print publication:
- December 2009
-
- Article
- Export citation
The modal μ-calculus hierarchy over restricted classes of transition systems
-
- Journal:
- The Journal of Symbolic Logic / Volume 74 / Issue 4 / December 2009
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1367-1400
- Print publication:
- December 2009
-
- Article
- Export citation
Promptness does not imply superlow cuppability
-
- Journal:
- The Journal of Symbolic Logic / Volume 74 / Issue 4 / December 2009
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1264-1272
- Print publication:
- December 2009
-
- Article
- Export citation
The strength of the rainbow Ramsey Theorem
-
- Journal:
- The Journal of Symbolic Logic / Volume 74 / Issue 4 / December 2009
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1310-1324
- Print publication:
- December 2009
-
- Article
- Export citation
Independently axiomatizable ℒω1,ω theories
-
- Journal:
- The Journal of Symbolic Logic / Volume 74 / Issue 4 / December 2009
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1273-1286
- Print publication:
- December 2009
-
- Article
- Export citation
Corrigendum to: “On Lascar rank and Morley rank of definable groups in differentially closed fields”
-
- Journal:
- The Journal of Symbolic Logic / Volume 74 / Issue 4 / December 2009
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1436-1437
- Print publication:
- December 2009
-
- Article
- Export citation
Functional interpretation and inductive definitions
-
- Journal:
- The Journal of Symbolic Logic / Volume 74 / Issue 4 / December 2009
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1100-1120
- Print publication:
- December 2009
-
- Article
- Export citation
Some remarks on generic structures
-
- Journal:
- The Journal of Symbolic Logic / Volume 74 / Issue 4 / December 2009
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1143-1154
- Print publication:
- December 2009
-
- Article
- Export citation
JSL volume 74 issue 4 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 74 / Issue 4 / December 2009
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- December 2009
-
- Article
-
- You have access
- Export citation
JSL volume 74 issue 4 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 74 / Issue 4 / December 2009
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b9
- Print publication:
- December 2009
-
- Article
-
- You have access
- Export citation