13629 results in The Journal of Symbolic Logic
JSL volume 74 issue 2 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 74 / Issue 2 / June 2009
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- June 2009
-
- Article
-
- You have access
- Export citation
JSL volume 74 issue 2 Back Cover (IBC, OBC) and matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 74 / Issue 2 / June 2009
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
- Print publication:
- June 2009
-
- Article
-
- You have access
- Export citation
Henselianity and the Denef-Pas language
-
- Journal:
- The Journal of Symbolic Logic / Volume 74 / Issue 2 / June 2009
- Published online by Cambridge University Press:
- 12 March 2014, pp. 655-664
- Print publication:
- June 2009
-
- Article
- Export citation
Equivalence structures and isomorphisms in the difference hierarchy
-
- Journal:
- The Journal of Symbolic Logic / Volume 74 / Issue 2 / June 2009
- Published online by Cambridge University Press:
- 12 March 2014, pp. 535-556
- Print publication:
- June 2009
-
- Article
- Export citation
An inner model for global domination
-
- Journal:
- The Journal of Symbolic Logic / Volume 74 / Issue 1 / March 2009
- Published online by Cambridge University Press:
- 12 March 2014, pp. 251-264
- Print publication:
- March 2009
-
- Article
- Export citation
Normal subgroups of infinite symmetric groups, with an application to stratified set theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 74 / Issue 1 / March 2009
- Published online by Cambridge University Press:
- 12 March 2014, pp. 17-26
- Print publication:
- March 2009
-
- Article
- Export citation
Zero-one law and definability of linear order
-
- Journal:
- The Journal of Symbolic Logic / Volume 74 / Issue 1 / March 2009
- Published online by Cambridge University Press:
- 12 March 2014, pp. 105-123
- Print publication:
- March 2009
-
- Article
- Export citation
PDL with intersection and converse: satisfiability and infinite-state model checking
-
- Journal:
- The Journal of Symbolic Logic / Volume 74 / Issue 1 / March 2009
- Published online by Cambridge University Press:
- 12 March 2014, pp. 279-314
- Print publication:
- March 2009
-
- Article
- Export citation
JSL volume 74 issue 1 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 74 / Issue 1 / March 2009
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
- Print publication:
- March 2009
-
- Article
-
- You have access
- Export citation
On generically stable types in dependent theories
-
- Journal:
- The Journal of Symbolic Logic / Volume 74 / Issue 1 / March 2009
- Published online by Cambridge University Press:
- 12 March 2014, pp. 216-250
- Print publication:
- March 2009
-
- Article
- Export citation
Decisive creatures and large continuum
-
- Journal:
- The Journal of Symbolic Logic / Volume 74 / Issue 1 / March 2009
- Published online by Cambridge University Press:
- 12 March 2014, pp. 73-104
- Print publication:
- March 2009
-
- Article
- Export citation
On second order intuitionistic propositional logic without a universal quantifier
-
- Journal:
- The Journal of Symbolic Logic / Volume 74 / Issue 1 / March 2009
- Published online by Cambridge University Press:
- 12 March 2014, pp. 157-167
- Print publication:
- March 2009
-
- Article
- Export citation
Reverse mathematics, computability, and partitions of trees
-
- Journal:
- The Journal of Symbolic Logic / Volume 74 / Issue 1 / March 2009
- Published online by Cambridge University Press:
- 12 March 2014, pp. 201-215
- Print publication:
- March 2009
-
- Article
- Export citation
Topological dynamics of definable group actions
-
- Journal:
- The Journal of Symbolic Logic / Volume 74 / Issue 1 / March 2009
- Published online by Cambridge University Press:
- 12 March 2014, pp. 50-72
- Print publication:
- March 2009
-
- Article
- Export citation
Arithmetic on semigroups
-
- Journal:
- The Journal of Symbolic Logic / Volume 74 / Issue 1 / March 2009
- Published online by Cambridge University Press:
- 12 March 2014, pp. 265-278
- Print publication:
- March 2009
-
- Article
- Export citation
Stacking mice
-
- Journal:
- The Journal of Symbolic Logic / Volume 74 / Issue 1 / March 2009
- Published online by Cambridge University Press:
- 12 March 2014, pp. 315-335
- Print publication:
- March 2009
-
- Article
- Export citation
JSL volume 74 issue 1 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 74 / Issue 1 / March 2009
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- March 2009
-
- Article
-
- You have access
- Export citation
Prime models of finite computable dimension
-
- Journal:
- The Journal of Symbolic Logic / Volume 74 / Issue 1 / March 2009
- Published online by Cambridge University Press:
- 12 March 2014, pp. 336-348
- Print publication:
- March 2009
-
- Article
- Export citation
Finding paths through narrow and wide trees
-
- Journal:
- The Journal of Symbolic Logic / Volume 74 / Issue 1 / March 2009
- Published online by Cambridge University Press:
- 12 March 2014, pp. 349-360
- Print publication:
- March 2009
-
- Article
- Export citation
Creatures on ω1 and weak diamonds
-
- Journal:
- The Journal of Symbolic Logic / Volume 74 / Issue 1 / March 2009
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-16
- Print publication:
- March 2009
-
- Article
- Export citation