F<sub>σ</sub> EQUIVALENCE RELATIONS AND LAYER FORCING.
- Published in:
- Journal of Symbolic Logic, 2014, v. 79, n. 2, p. 644, doi. 10.1017/jsl.2013.32
- By:
- Publication type:
- Article
Works matching IS 00224812 AND DT 2014 AND VI 79 AND IP 2
Results: 13
1
2
A NOTE ON INITIAL SEGMENTS OF THE ENUMERATION DEGREES.
- Published in:
- Journal of Symbolic Logic, 2014, v. 79, n. 2, p. 633, doi. 10.1017/jsl.2013.1
- By:
- Publication type:
- Article
3
COMPLEXITY OF COMPLEXITY AND STRINGS WITH MAXIMAL PLAIN AND PREFIX KOLMOGOROV COMPLEXITY.
- Published in:
- Journal of Symbolic Logic, 2014, v. 79, n. 2, p. 620, doi. 10.1017/jsl.2014.15
- By:
- Publication type:
- Article
4
EXAMPLES IN DEPENDENT THEORIES.
- Published in:
- Journal of Symbolic Logic, 2014, v. 79, n. 2, p. 585, doi. 10.1017/jsl.2013.11
- By:
- Publication type:
- Article
5
AUTOMORPHISM GROUPS OF SATURATED MODELS OF PEANO ARITHMETIC.
- Published in:
- Journal of Symbolic Logic, 2014, v. 79, n. 2, p. 561, doi. 10.1017/jsl.2013.15
- By:
- Publication type:
- Article
6
CHARACTERIZING LOWNESS FOR DEMUTH RANDOMNESS.
- Published in:
- Journal of Symbolic Logic, 2014, v. 79, n. 2, p. 526, doi. 10.1017/jsl.2013.21
- By:
- Publication type:
- Article
7
FRAGMENTS OF APPROXIMATE COUNTING.
- Published in:
- Journal of Symbolic Logic, 2014, v. 79, n. 2, p. 496, doi. 10.1017/jsl.2013.37
- By:
- Publication type:
- Article
8
GLIVENKO AND KURODA FOR SIMPLE TYPE THEORY.
- Published in:
- Journal of Symbolic Logic, 2014, v. 79, n. 2, p. 485, doi. 10.1017/jsl.2013.10
- By:
- Publication type:
- Article
9
ALMOST INDISCERNIBLE SEQUENCES AND CONVERGENCE OF CANONICAL BASES.
- Published in:
- Journal of Symbolic Logic, 2014, v. 79, n. 2, p. 460, doi. 10.1017/jsl.2013.38
- By:
- Publication type:
- Article
10
THE TREE PROPERTY UP TO N<sub>ω+1</sub>.
- Published in:
- Journal of Symbolic Logic, 2014, v. 79, n. 2, p. 429, doi. 10.1017/jsl.2013.25
- By:
- Publication type:
- Article
11
THE FREE PSEUDOSPACE IS N-AMPLE, BUT NOT (N + 1)-AMPLE.
- Published in:
- Journal of Symbolic Logic, 2014, v. 79, n. 2, p. 710, doi. 10.1017/jsl.2014.42
- By:
- Publication type:
- Article
12
O-MINIMALISM.
- Published in:
- Journal of Symbolic Logic, 2014, v. 79, n. 2, p. 355, doi. 10.1017/jsl.2013.14
- By:
- Publication type:
- Article
13
LIFTING PROOF THEORY TO THE COUNTABLE ORDINALS: ZERMELO-FRAENKEL SET THEORY.
- Published in:
- Journal of Symbolic Logic, 2014, v. 79, n. 2, p. 325, doi. 10.1017/jsl.2014.6
- By:
- Publication type:
- Article