JSL volume 82 issue 2 Cover and Back matter.
- Published in:
- Journal of Symbolic Logic, 2017, v. 82, n. 2, p. b1, doi. 10.1017/jsl.2017.41
- Publication type:
- Article
Works matching IS 00224812 AND DT 2017 AND VI 82 AND IP 2
Results: 20
1
2
JSL volume 82 issue 2 Cover and Front matter.
- Published in:
- Journal of Symbolic Logic, 2017, v. 82, n. 2, p. f1, doi. 10.1017/jsl.2017.40
- Publication type:
- Article
3
CANONICAL MODELS FOR FRAGMENTS OF THE AXIOM OF CHOICE.
- Published in:
- Journal of Symbolic Logic, 2017, v. 82, n. 2, p. 489, doi. 10.1017/jsl.2017.29
- By:
- Publication type:
- Article
4
THE BOREL COMPLEXITY OF ISOMORPHISM FOR O-MINIMAL THEORIES.
- Published in:
- Journal of Symbolic Logic, 2017, v. 82, n. 2, p. 453, doi. 10.1017/jsl.2017.17
- By:
- Publication type:
- Article
5
CALIBRATING DETERMINACY STRENGTH IN LEVELS OF THE BOREL HIERARCHY.
- Published in:
- Journal of Symbolic Logic, 2017, v. 82, n. 2, p. 510, doi. 10.1017/jsl.2017.15
- By:
- Publication type:
- Article
6
WEAK REFLECTION PRINCIPLE, SATURATION OF THE NONSTATIONARY IDEAL ON ω1 AND DIAMONDS.
- Published in:
- Journal of Symbolic Logic, 2017, v. 82, n. 2, p. 724, doi. 10.1017/jsl.2017.11
- By:
- Publication type:
- Article
7
DECIDABLE ALGEBRAIC FIELDS.
- Published in:
- Journal of Symbolic Logic, 2017, v. 82, n. 2, p. 474, doi. 10.1017/jsl.2017.10
- By:
- Publication type:
- Article
8
THE HERBRAND FUNCTIONAL INTERPRETATION OF THE DOUBLE NEGATION SHIFT.
- Published in:
- Journal of Symbolic Logic, 2017, v. 82, n. 2, p. 590, doi. 10.1017/jsl.2017.8
- By:
- Publication type:
- Article
9
A CO-ANALYTIC COHEN-INDESTRUCTIBLE MAXIMAL COFINITARY GROUP.
- Published in:
- Journal of Symbolic Logic, 2017, v. 82, n. 2, p. 629, doi. 10.1017/jsl.2017.5
- By:
- Publication type:
- Article
10
STRONG COMPLETENESS OF PROVABILITY LOGIC FOR ORDINAL SPACES.
- Published in:
- Journal of Symbolic Logic, 2017, v. 82, n. 2, p. 608, doi. 10.1017/jsl.2017.3
- By:
- Publication type:
- Article
11
HYPERCLASS FORCING IN MORSE-KELLEY CLASS THEORY.
- Published in:
- Journal of Symbolic Logic, 2017, v. 82, n. 2, p. 549, doi. 10.1017/jsl.2016.74
- By:
- Publication type:
- Article
12
OBLIGATION BLACKWELL GAMES AND P-AUTOMATA.
- Published in:
- Journal of Symbolic Logic, 2017, v. 82, n. 2, p. 420, doi. 10.1017/jsl.2016.71
- By:
- Publication type:
- Article
13
DOWNWARD TRANSFERENCE OF MICE AND UNIVERSALITY OF LOCAL CORE MODELS.
- Published in:
- Journal of Symbolic Logic, 2017, v. 82, n. 2, p. 385, doi. 10.1017/jsl.2016.68
- By:
- Publication type:
- Article
14
A P-MINIMAL STRUCTURE WITHOUT DEFINABLE SKOLEM FUNCTIONS.
- Published in:
- Journal of Symbolic Logic, 2017, v. 82, n. 2, p. 778, doi. 10.1017/jsl.2016.58
- By:
- Publication type:
- Article
15
GAME SEMANTICS AND THE GEOMETRY OF BACKTRACKING: A NEW COMPLEXITY ANALYSIS OF INTERACTION.
- Published in:
- Journal of Symbolic Logic, 2017, v. 82, n. 2, p. 672, doi. 10.1017/jsl.2016.48
- By:
- Publication type:
- Article
16
AN AXIOMATIC APPROACH TO FREE AMALGAMATION.
- Published in:
- Journal of Symbolic Logic, 2017, v. 82, n. 2, p. 648, doi. 10.1017/jsl.2016.42
- By:
- Publication type:
- Article
17
RAMSEY’S THEOREM FOR PAIRS AND K COLORS AS A SUB-CLASSICAL PRINCIPLE OF ARITHMETIC.
- Published in:
- Journal of Symbolic Logic, 2017, v. 82, n. 2, p. 737, doi. 10.1017/jsl.2016.41
- By:
- Publication type:
- Article
18
ω-STABILITY AND MORLEY RANK OF BILINEAR MAPS, RINGS AND NILPOTENT GROUPS.
- Published in:
- Journal of Symbolic Logic, 2017, v. 82, n. 2, p. 754, doi. 10.1017/jsl.2016.29
- By:
- Publication type:
- Article
19
RESOLVING INFINITARY PARADOXES.
- Published in:
- Journal of Symbolic Logic, 2017, v. 82, n. 2, p. 709, doi. 10.1017/jsl.2016.18
- By:
- Publication type:
- Article
20
REVERSE MATHEMATICS, YOUNG DIAGRAMS, AND THE ASCENDING CHAIN CONDITION.
- Published in:
- Journal of Symbolic Logic, 2017, v. 82, n. 2, p. 576, doi. 10.1017/jsl.2016.17
- By:
- Publication type:
- Article