Works matching IS 00224812 AND DT 2014 AND VI 79 AND IP 3
Results: 16
REVERSE MATHEMATICS OF FIRST-ORDER THEORIES WITH FINITELY MANY MODELS.
- Published in:
- Journal of Symbolic Logic, 2014, v. 79, n. 3, p. 955, doi. 10.1017/jsl.2014.32
- By:
- Publication type:
- Article
UNIVERSAL COUNTABLE BOREL QUASI-ORDERS.
- Published in:
- Journal of Symbolic Logic, 2014, v. 79, n. 3, p. 928, doi. 10.1017/jsl.2013.35
- By:
- Publication type:
- Article
LEARNING THEORY IN THE ARITHMETIC HIERARCHY.
- Published in:
- Journal of Symbolic Logic, 2014, v. 79, n. 3, p. 908, doi. 10.1017/jsl.2014.23
- By:
- Publication type:
- Article
SHEAF RECURSION AND A SEPARATION THEOREM.
- Published in:
- Journal of Symbolic Logic, 2014, v. 79, n. 3, p. 882, doi. 10.1017/jsl.2013.18
- By:
- Publication type:
- Article
ω-CHANGE RANDOMNESS AND WEAK DEMUTH RANDOMNESS.
- Published in:
- Journal of Symbolic Logic, 2014, v. 79, n. 3, p. 776, doi. 10.1017/jsl.2013.34
- By:
- Publication type:
- Article
INTERPRETATIONS BETWEEN ω-LOGIC AND SECOND-ORDER ARITHMETIC.
- Published in:
- Journal of Symbolic Logic, 2014, v. 79, n. 3, p. 845, doi. 10.1017/jsl.2013.17
- By:
- Publication type:
- Article
ON REGULAR GROUPS AND FIELDS.
- Published in:
- Journal of Symbolic Logic, 2014, v. 79, n. 3, p. 826, doi. 10.1017/jsl.2013.36
- By:
- Publication type:
- Article
CONSERVATIONS OF FIRST-ORDER REFLECTIONS.
- Published in:
- Journal of Symbolic Logic, 2014, v. 79, n. 3, p. 814, doi. 10.1017/jsl.2014.7
- By:
- Publication type:
- Article
SEPARATING THE FAN THEOREM AND ITS WEAKENINGS.
- Published in:
- Journal of Symbolic Logic, 2014, v. 79, n. 3, p. 792, doi. 10.1017/jsl.2014.9
- By:
- Publication type:
- Article
COMPLEXITY OF EQUIVALENCE RELATIONS AND PREORDERS FROM COMPUTABILITY THEORY.
- Published in:
- Journal of Symbolic Logic, 2014, v. 79, n. 3, p. 859, doi. 10.1017/jsl.2013.33
- By:
- Publication type:
- Article
ONE DIMENSIONAL T.T.T STRUCTURES.
- Published in:
- Journal of Symbolic Logic, 2014, v. 79, n. 3, p. 748, doi. 10.1017/jsl.2014.14
- By:
- Publication type:
- Article
DIOPHANTINE SETS OF POLYNOMIALS OVER ALGEBRAIC EXTENSIONS OF THE RATIONALS.
- Published in:
- Journal of Symbolic Logic, 2014, v. 79, n. 3, p. 733, doi. 10.1017/jsl.2013.9
- By:
- Publication type:
- Article
RELATIVE PREDICATIVITY AND DEPENDENT RECURSION IN SECOND-ORDER SET THEORY AND HIGHER-ORDER THEORIES.
- Published in:
- Journal of Symbolic Logic, 2014, v. 79, n. 3, p. 712, doi. 10.1017/jsl.2014.28
- By:
- Publication type:
- Article
EXACT PAIRS FOR THE IDEAL OF THE X-TRIVIAL SEQUENCES IN THE TURING DEGREES.
- Published in:
- Journal of Symbolic Logic, 2014, v. 79, n. 3, p. 676, doi. 10.1017/jsl.2014.37
- By:
- Publication type:
- Article
MODEL THEORETIC PROPERTIES OF METRIC VALUED FIELDS.
- Published in:
- Journal of Symbolic Logic, 2014, v. 79, n. 3, p. 655, doi. 10.1017/jsl.2014.16
- By:
- Publication type:
- Article
R.J. THOMPSON'S GROUPS F AND T ARE BI-INTERPRETABLE WITH THE RING OF THE INTEGERS.
- Published in:
- Journal of Symbolic Logic, 2014, v. 79, n. 3, p. 693, doi. 10.1017/jsl.2014.29
- By:
- Publication type:
- Article