13629 results in The Journal of Symbolic Logic
Necessary use of
induction in a reversal
-
- Journal:
- The Journal of Symbolic Logic / Volume 76 / Issue 2 / June 2011
- Published online by Cambridge University Press:
- 12 March 2014, pp. 561-574
- Print publication:
- June 2011
-
- Article
- Export citation
Propriétés résiduelles dans les groupes supersimples
-
- Journal:
- The Journal of Symbolic Logic / Volume 76 / Issue 2 / June 2011
- Published online by Cambridge University Press:
- 12 March 2014, pp. 361-367
- Print publication:
- June 2011
-
- Article
- Export citation
On Polish groups admitting a compatible complete left-invariant metric
-
- Journal:
- The Journal of Symbolic Logic / Volume 76 / Issue 2 / June 2011
- Published online by Cambridge University Press:
- 12 March 2014, pp. 437-447
- Print publication:
- June 2011
-
- Article
- Export citation
Jump inversions inside effectively closed sets and applications to randomness
-
- Journal:
- The Journal of Symbolic Logic / Volume 76 / Issue 2 / June 2011
- Published online by Cambridge University Press:
- 12 March 2014, pp. 491-518
- Print publication:
- June 2011
-
- Article
- Export citation
ERNA and Friedman's Reverse Mathematics
-
- Journal:
- The Journal of Symbolic Logic / Volume 76 / Issue 2 / June 2011
- Published online by Cambridge University Press:
- 12 March 2014, pp. 637-664
- Print publication:
- June 2011
-
- Article
- Export citation
Expressing cardinality quantifiers in monadic second-order logic over chains
-
- Journal:
- The Journal of Symbolic Logic / Volume 76 / Issue 2 / June 2011
- Published online by Cambridge University Press:
- 12 March 2014, pp. 603-619
- Print publication:
- June 2011
-
- Article
- Export citation
A proof-theoretic treatment of λ-reduction with cut-elimination: λ-calculus as a logic programming language
-
- Journal:
- The Journal of Symbolic Logic / Volume 76 / Issue 2 / June 2011
- Published online by Cambridge University Press:
- 12 March 2014, pp. 673-699
- Print publication:
- June 2011
-
- Article
- Export citation
A random set which only computes strongly jump-traceable c.e. sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 76 / Issue 2 / June 2011
- Published online by Cambridge University Press:
- 12 March 2014, pp. 700-718
- Print publication:
- June 2011
-
- Article
- Export citation
JSL volume 76 issue 2 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 76 / Issue 2 / June 2011
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
- Print publication:
- June 2011
-
- Article
-
- You have access
- Export citation
The tree property at ℵω+2
-
- Journal:
- The Journal of Symbolic Logic / Volume 76 / Issue 2 / June 2011
- Published online by Cambridge University Press:
- 12 March 2014, pp. 477-490
- Print publication:
- June 2011
-
- Article
- Export citation
Hypermachines
-
- Journal:
- The Journal of Symbolic Logic / Volume 76 / Issue 2 / June 2011
- Published online by Cambridge University Press:
- 12 March 2014, pp. 620-636
- Print publication:
- June 2011
-
- Article
- Export citation
Hechler's Theorem for tall analytic P-ideals
-
- Journal:
- The Journal of Symbolic Logic / Volume 76 / Issue 2 / June 2011
- Published online by Cambridge University Press:
- 12 March 2014, pp. 729-736
- Print publication:
- June 2011
-
- Article
- Export citation
Ramsey-like cardinals
-
- Journal:
- The Journal of Symbolic Logic / Volume 76 / Issue 2 / June 2011
- Published online by Cambridge University Press:
- 12 March 2014, pp. 519-540
- Print publication:
- June 2011
-
- Article
- Export citation
The Magidor function and diamond
-
- Journal:
- The Journal of Symbolic Logic / Volume 76 / Issue 2 / June 2011
- Published online by Cambridge University Press:
- 12 March 2014, pp. 405-417
- Print publication:
- June 2011
-
- Article
- Export citation
Dependent pairs
-
- Journal:
- The Journal of Symbolic Logic / Volume 76 / Issue 2 / June 2011
- Published online by Cambridge University Press:
- 12 March 2014, pp. 377-390
- Print publication:
- June 2011
-
- Article
- Export citation
The independence property in generalized dense pairs of structures
-
- Journal:
- The Journal of Symbolic Logic / Volume 76 / Issue 2 / June 2011
- Published online by Cambridge University Press:
- 12 March 2014, pp. 391-404
- Print publication:
- June 2011
-
- Article
- Export citation
Weak systems of determinacy and arithmetical quasi-inductive definitions
-
- Journal:
- The Journal of Symbolic Logic / Volume 76 / Issue 2 / June 2011
- Published online by Cambridge University Press:
- 12 March 2014, pp. 418-436
- Print publication:
- June 2011
-
- Article
- Export citation
On the jump classes of noncuppable enumeration degrees
-
- Journal:
- The Journal of Symbolic Logic / Volume 76 / Issue 1 / March 2011
- Published online by Cambridge University Press:
- 12 March 2014, pp. 177-197
- Print publication:
- March 2011
-
- Article
- Export citation
Hindman's theorem: an ultrafilter argument in second order arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 76 / Issue 1 / March 2011
- Published online by Cambridge University Press:
- 12 March 2014, pp. 353-360
- Print publication:
- March 2011
-
- Article
- Export citation
Weihrauch degrees, omniscience principles and weak computability
-
- Journal:
- The Journal of Symbolic Logic / Volume 76 / Issue 1 / March 2011
- Published online by Cambridge University Press:
- 12 March 2014, pp. 143-176
- Print publication:
- March 2011
-
- Article
- Export citation