13629 results in The Journal of Symbolic Logic
A dichotomy in classifying quantifiers for finite models
-
- Journal:
- The Journal of Symbolic Logic / Volume 70 / Issue 4 / December 2005
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1297-1324
- Print publication:
- December 2005
-
- Article
- Export citation
Induction and inductive definitions in fragments of second order arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 70 / Issue 4 / December 2005
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1087-1107
- Print publication:
- December 2005
-
- Article
- Export citation
Club guessing sequences and filters
-
- Journal:
- The Journal of Symbolic Logic / Volume 70 / Issue 4 / December 2005
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1037-1071
- Print publication:
- December 2005
-
- Article
- Export citation
PFA implies ADL(ℝ)
-
- Journal:
- The Journal of Symbolic Logic / Volume 70 / Issue 4 / December 2005
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1255-1296
- Print publication:
- December 2005
-
- Article
- Export citation
JSL volume 70 issue 4 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 70 / Issue 4 / December 2005
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- December 2005
-
- Article
-
- You have access
- Export citation
Reducts of stable, CM-trivial theories
-
- Journal:
- The Journal of Symbolic Logic / Volume 70 / Issue 4 / December 2005
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1025-1036
- Print publication:
- December 2005
-
- Article
- Export citation
2-Exp Time lower bounds for propositional dynamic logics with intersection
-
- Journal:
- The Journal of Symbolic Logic / Volume 70 / Issue 4 / December 2005
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1072-1086
- Print publication:
- December 2005
-
- Article
- Export citation
JSL volume 70 issue 4 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 70 / Issue 4 / December 2005
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b8
- Print publication:
- December 2005
-
- Article
-
- You have access
- Export citation
Elimination of imaginaries in expansions of o-minimal structures by generic sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 70 / Issue 4 / December 2005
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1150-1160
- Print publication:
- December 2005
-
- Article
- Export citation
A note on orthogonality and stable embeddedness
-
- Journal:
- The Journal of Symbolic Logic / Volume 70 / Issue 4 / December 2005
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1359-1364
- Print publication:
- December 2005
-
- Article
- Export citation
Distinct iterable branches
-
- Journal:
- The Journal of Symbolic Logic / Volume 70 / Issue 4 / December 2005
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1127-1136
- Print publication:
- December 2005
-
- Article
- Export citation
The disjunction and related properties for constructive Zermelo-Fraenkel set theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 70 / Issue 4 / December 2005
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1233-1254
- Print publication:
- December 2005
-
- Article
- Export citation
Logical consecutions in discrete linear temporal logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 70 / Issue 4 / December 2005
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1137-1149
- Print publication:
- December 2005
-
- Article
- Export citation
The geometry of non-distributive logics
-
- Journal:
- The Journal of Symbolic Logic / Volume 70 / Issue 4 / December 2005
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1108-1126
- Print publication:
- December 2005
-
- Article
- Export citation
Corrigendum to “Number Systems with Simplicity Hierarchies: A Generalization of Conway's Theory of Surreal Numbers”
-
- Journal:
- The Journal of Symbolic Logic / Volume 70 / Issue 3 / September 2005
- Published online by Cambridge University Press:
- 12 March 2014, p. 1022
- Print publication:
- September 2005
-
- Article
- Export citation
JSL volume 70 issue 3 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 70 / Issue 3 / September 2005
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
- Print publication:
- September 2005
-
- Article
-
- You have access
- Export citation
Random reals and possibly infinite computations Part I: Randomness in ∅′
-
- Journal:
- The Journal of Symbolic Logic / Volume 70 / Issue 3 / September 2005
- Published online by Cambridge University Press:
- 12 March 2014, pp. 891-913
- Print publication:
- September 2005
-
- Article
- Export citation
Uncountable dense categoricity in cats
-
- Journal:
- The Journal of Symbolic Logic / Volume 70 / Issue 3 / September 2005
- Published online by Cambridge University Press:
- 12 March 2014, pp. 829-860
- Print publication:
- September 2005
-
- Article
- Export citation
Preserving preservation
-
- Journal:
- The Journal of Symbolic Logic / Volume 70 / Issue 3 / September 2005
- Published online by Cambridge University Press:
- 12 March 2014, pp. 914-945
- Print publication:
- September 2005
-
- Article
- Export citation
On mathematical instrumentalism*
-
- Journal:
- The Journal of Symbolic Logic / Volume 70 / Issue 3 / September 2005
- Published online by Cambridge University Press:
- 12 March 2014, pp. 778-794
- Print publication:
- September 2005
-
- Article
- Export citation