JSL volume 80 issue 2 Cover and Back matter.
- Published in:
- Journal of Symbolic Logic, 2015, v. 80, n. 2, p. b1, doi. 10.1017/jsl.2015.25
- Publication type:
- Article
Works matching IS 00224812 AND DT 2015 AND VI 80 AND IP 2
Results: 17
1
2
JSL volume 80 issue 2 Cover and Front matter.
- Published in:
- Journal of Symbolic Logic, 2015, v. 80, n. 2, p. f1, doi. 10.1017/jsl.2015.24
- Publication type:
- Article
3
PRESBURGER ARITHMETIC, RATIONAL GENERATING FUNCTIONS, AND QUASI-POLYNOMIALS.
- Published in:
- Journal of Symbolic Logic, 2015, v. 80, n. 2, p. 433, doi. 10.1017/jsl.2015.4
- By:
- Publication type:
- Article
4
NON-SPLITTINGS OF SPEEDABLE SETS.
- Published in:
- Journal of Symbolic Logic, 2015, v. 80, n. 2, p. 609, doi. 10.1017/jsl.2014.83
- By:
- Publication type:
- Article
5
THE MOUSE SET CONJECTURE FOR SETS OF REALS.
- Published in:
- Journal of Symbolic Logic, 2015, v. 80, n. 2, p. 671, doi. 10.1017/jsl.2014.78
- By:
- Publication type:
- Article
6
MARTIN-LÖF RANDOMNESS IN SPACES OF CLOSED SETS.
- Published in:
- Journal of Symbolic Logic, 2015, v. 80, n. 2, p. 359, doi. 10.1017/jsl.2014.76
- By:
- Publication type:
- Article
7
HOMOGENEITY AND FIX-POINTS: GOING FORTH!
- Published in:
- Journal of Symbolic Logic, 2015, v. 80, n. 2, p. 636, doi. 10.1017/jsl.2014.72
- By:
- Publication type:
- Article
8
TOPOLOGICAL COMPLETENESS OF LOGICS ABOVE S4.
- Published in:
- Journal of Symbolic Logic, 2015, v. 80, n. 2, p. 520, doi. 10.1017/jsl.2014.59
- By:
- Publication type:
- Article
9
UNCOUNTABLE REAL CLOSED FIELDS WITH PA INTEGER PARTS.
- Published in:
- Journal of Symbolic Logic, 2015, v. 80, n. 2, p. 490, doi. 10.1017/jsl.2014.57
- By:
- Publication type:
- Article
10
LOWER BOUNDS FOR DNF-REFUTATIONS OF A RELATIVIZED WEAK PIGEONHOLE PRINCIPLE.
- Published in:
- Journal of Symbolic Logic, 2015, v. 80, n. 2, p. 450, doi. 10.1017/jsl.2014.56
- By:
- Publication type:
- Article
11
THE UNDECIDABILITY OF THE DEFINABILITY OF PRINCIPAL SUBCONGRUENCES.
- Published in:
- Journal of Symbolic Logic, 2015, v. 80, n. 2, p. 384, doi. 10.1017/jsl.2014.51
- By:
- Publication type:
- Article
12
UNDECIDABILITY OF CONSEQUENCE RELATION IN FULL NON-ASSOCIATIVE LAMBEK CALCULUS.
- Published in:
- Journal of Symbolic Logic, 2015, v. 80, n. 2, p. 567, doi. 10.1017/jsl.2014.39
- By:
- Publication type:
- Article
13
SILVER ANTICHAINS.
- Published in:
- Journal of Symbolic Logic, 2015, v. 80, n. 2, p. 503, doi. 10.1017/jsl.2014.38
- By:
- Publication type:
- Article
14
HARRINGTON’S PRINCIPLE IN HIGHER ORDER ARITHMETIC.
- Published in:
- Journal of Symbolic Logic, 2015, v. 80, n. 2, p. 477, doi. 10.1017/jsl.2014.31
- By:
- Publication type:
- Article
15
FAILURES OF THE SILVER DICHOTOMY IN THE GENERALIZED BAIRE SPACE.
- Published in:
- Journal of Symbolic Logic, 2015, v. 80, n. 2, p. 661, doi. 10.1017/jsl.2014.2
- By:
- Publication type:
- Article
16
DECIDABILITY FOR THEORIES OF MODULES OVER VALUATION DOMAINS.
- Published in:
- Journal of Symbolic Logic, 2015, v. 80, n. 2, p. 684, doi. 10.1017/jsl.2014.1
- By:
- Publication type:
- Article
17
ON RESURRECTION AXIOMS.
- Published in:
- Journal of Symbolic Logic, 2015, v. 80, n. 2, p. 587, doi. 10.1017/jsl.2013.39
- By:
- Publication type:
- Article