13629 results in The Journal of Symbolic Logic
Computational randomness and lowness*
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 3 / September 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1199-1205
- Print publication:
- September 2001
-
- Article
- Export citation
An axiomatics for nonstandard set theory, based on von Neumann–Bernays–Gödel Theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 3 / September 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1321-1341
- Print publication:
- September 2001
-
- Article
- Export citation
Cofinitary groups, almost disjoint and dominating families
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 3 / September 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1259-1276
- Print publication:
- September 2001
-
- Article
- Export citation
Proper forcing and remarkable cardinals II
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 3 / September 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1481-1492
- Print publication:
- September 2001
-
- Article
- Export citation
Exact bounds for lengths of reductions in typed λ-calculus
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 3 / September 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1277-1285
- Print publication:
- September 2001
-
- Article
- Export citation
Elementary equivalence for abelian-by-finite and nilpotent groups
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 3 / September 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1471-1480
- Print publication:
- September 2001
-
- Article
- Export citation
A Δ20 set with no infinite low subset in either it or its complement
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 3 / September 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1371-1381
- Print publication:
- September 2001
-
- Article
- Export citation
The mean value theorem in second order arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 3 / September 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1353-1358
- Print publication:
- September 2001
-
- Article
- Export citation
A boundedness lemma for iterations
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 3 / September 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1058-1072
- Print publication:
- September 2001
-
- Article
- Export citation
Canonicity for Intensional Logics with Even Axioms
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 3 / September 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1141-1156
- Print publication:
- September 2001
-
- Article
- Export citation
The cofinality of the random graph
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 3 / September 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1439-1446
- Print publication:
- September 2001
-
- Article
- Export citation
Quantifier elimination in tame infinite p-adic fields
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 3 / September 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1493-1503
- Print publication:
- September 2001
-
- Article
- Export citation
Stable theories with a new predicate
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 3 / September 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1127-1140
- Print publication:
- September 2001
-
- Article
- Export citation
Hybrid logics: characterization, interpolation and complexity
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 3 / September 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 977-1010
- Print publication:
- September 2001
-
- Article
- Export citation
Can partial indexings be totalized?
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 3 / September 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1157-1185
- Print publication:
- September 2001
-
- Article
- Export citation
Number of variables is equivalent to space
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 3 / September 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1217-1230
- Print publication:
- September 2001
-
- Article
- Export citation
Expansion of a model of a weakly o-minimal theory by a family of unary predicates
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 3 / September 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1382-1414
- Print publication:
- September 2001
-
- Article
- Export citation
Decidable fragments of first-order modal logics
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 3 / September 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1415-1438
- Print publication:
- September 2001
-
- Article
- Export citation
JSL volume 66 issue 3 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 3 / September 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- September 2001
-
- Article
-
- You have access
- Export citation
Existence of prime elements in rings of generalized power series
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 3 / September 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1206-1216
- Print publication:
- September 2001
-
- Article
- Export citation