13630 results in The Journal of Symbolic Logic
STRONG COMPLETENESS OF PROVABILITY LOGIC FOR ORDINAL SPACES
-
- Journal:
- The Journal of Symbolic Logic / Volume 82 / Issue 2 / June 2017
- Published online by Cambridge University Press:
- 19 June 2017, pp. 608-628
- Print publication:
- June 2017
-
- Article
- Export citation
THE BOREL COMPLEXITY OF ISOMORPHISM FOR O-MINIMAL THEORIES
-
- Journal:
- The Journal of Symbolic Logic / Volume 82 / Issue 2 / June 2017
- Published online by Cambridge University Press:
- 19 June 2017, pp. 453-473
- Print publication:
- June 2017
-
- Article
- Export citation
DOWNWARD TRANSFERENCE OF MICE AND UNIVERSALITY OF LOCAL CORE MODELS
-
- Journal:
- The Journal of Symbolic Logic / Volume 82 / Issue 2 / June 2017
- Published online by Cambridge University Press:
- 19 June 2017, pp. 385-419
- Print publication:
- June 2017
-
- Article
- Export citation
A CO-ANALYTIC COHEN-INDESTRUCTIBLE MAXIMAL COFINITARY GROUP
-
- Journal:
- The Journal of Symbolic Logic / Volume 82 / Issue 2 / June 2017
- Published online by Cambridge University Press:
- 19 June 2017, pp. 629-647
- Print publication:
- June 2017
-
- Article
- Export citation
JSL volume 82 issue 2 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 82 / Issue 2 / June 2017
- Published online by Cambridge University Press:
- 19 June 2017, pp. b1-b2
- Print publication:
- June 2017
-
- Article
-
- You have access
- Export citation
RAMSEY’S THEOREM FOR PAIRS AND K COLORS AS A SUB-CLASSICAL PRINCIPLE OF ARITHMETIC
-
- Journal:
- The Journal of Symbolic Logic / Volume 82 / Issue 2 / June 2017
- Published online by Cambridge University Press:
- 19 June 2017, pp. 737-753
- Print publication:
- June 2017
-
- Article
- Export citation
REVERSE MATHEMATICS, YOUNG DIAGRAMS, AND THE ASCENDING CHAIN CONDITION
-
- Journal:
- The Journal of Symbolic Logic / Volume 82 / Issue 2 / June 2017
- Published online by Cambridge University Press:
- 19 June 2017, pp. 576-589
- Print publication:
- June 2017
-
- Article
- Export citation
GAME SEMANTICS AND THE GEOMETRY OF BACKTRACKING: A NEW COMPLEXITY ANALYSIS OF INTERACTION
-
- Journal:
- The Journal of Symbolic Logic / Volume 82 / Issue 2 / June 2017
- Published online by Cambridge University Press:
- 19 June 2017, pp. 672-708
- Print publication:
- June 2017
-
- Article
- Export citation
WEAK REFLECTION PRINCIPLE, SATURATION OF THE NONSTATIONARY IDEAL ON ω1 AND DIAMONDS
-
- Journal:
- The Journal of Symbolic Logic / Volume 82 / Issue 2 / June 2017
- Published online by Cambridge University Press:
- 19 June 2017, pp. 724-736
- Print publication:
- June 2017
-
- Article
- Export citation
ω-STABILITY AND MORLEY RANK OF BILINEAR MAPS, RINGS AND NILPOTENT GROUPS
-
- Journal:
- The Journal of Symbolic Logic / Volume 82 / Issue 2 / June 2017
- Published online by Cambridge University Press:
- 19 June 2017, pp. 754-777
- Print publication:
- June 2017
-
- Article
- Export citation
HYPERCLASS FORCING IN MORSE-KELLEY CLASS THEORY
-
- Journal:
- The Journal of Symbolic Logic / Volume 82 / Issue 2 / June 2017
- Published online by Cambridge University Press:
- 19 June 2017, pp. 549-575
- Print publication:
- June 2017
-
- Article
- Export citation
CANONICAL MODELS FOR FRAGMENTS OF THE AXIOM OF CHOICE
-
- Journal:
- The Journal of Symbolic Logic / Volume 82 / Issue 2 / June 2017
- Published online by Cambridge University Press:
- 19 June 2017, pp. 489-509
- Print publication:
- June 2017
-
- Article
- Export citation
OBLIGATION BLACKWELL GAMES AND P-AUTOMATA
-
- Journal:
- The Journal of Symbolic Logic / Volume 82 / Issue 2 / June 2017
- Published online by Cambridge University Press:
- 19 June 2017, pp. 420-452
- Print publication:
- June 2017
-
- Article
- Export citation
DECIDABLE ALGEBRAIC FIELDS
-
- Journal:
- The Journal of Symbolic Logic / Volume 82 / Issue 2 / June 2017
- Published online by Cambridge University Press:
- 19 June 2017, pp. 474-488
- Print publication:
- June 2017
-
- Article
- Export citation
RESOLVING INFINITARY PARADOXES
-
- Journal:
- The Journal of Symbolic Logic / Volume 82 / Issue 2 / June 2017
- Published online by Cambridge University Press:
- 19 June 2017, pp. 709-723
- Print publication:
- June 2017
-
- Article
- Export citation
THE HERBRAND FUNCTIONAL INTERPRETATION OF THE DOUBLE NEGATION SHIFT
-
- Journal:
- The Journal of Symbolic Logic / Volume 82 / Issue 2 / June 2017
- Published online by Cambridge University Press:
- 19 June 2017, pp. 590-607
- Print publication:
- June 2017
-
- Article
- Export citation
AN AXIOMATIC APPROACH TO FREE AMALGAMATION
-
- Journal:
- The Journal of Symbolic Logic / Volume 82 / Issue 2 / June 2017
- Published online by Cambridge University Press:
- 19 June 2017, pp. 648-671
- Print publication:
- June 2017
-
- Article
- Export citation
CALIBRATING DETERMINACY STRENGTH IN LEVELS OF THE BOREL HIERARCHY
-
- Journal:
- The Journal of Symbolic Logic / Volume 82 / Issue 2 / June 2017
- Published online by Cambridge University Press:
- 19 June 2017, pp. 510-548
- Print publication:
- June 2017
-
- Article
- Export citation
THE ONTO MAPPING OF SIERPINSKI AND NONMEAGER SETS
-
- Journal:
- The Journal of Symbolic Logic / Volume 82 / Issue 3 / September 2017
- Published online by Cambridge University Press:
- 16 May 2017, pp. 958-965
- Print publication:
- September 2017
-
- Article
- Export citation
THE JIANG–SU ALGEBRA AS A FRAÏSSÉ LIMIT
-
- Journal:
- The Journal of Symbolic Logic / Volume 82 / Issue 4 / December 2017
- Published online by Cambridge University Press:
- 16 May 2017, pp. 1541-1559
- Print publication:
- December 2017
-
- Article
- Export citation