A NEW COMPUTATION OF THE Σ-ORDINAL OF KPω.
- Published in:
- Journal of Symbolic Logic, 2014, v. 79, n. 1, p. 306, doi. 10.1017/jsl.2013.31
- By:
- Publication type:
- Article
Works matching IS 00224812 AND DT 2014 AND VI 79 AND IP 1
Results: 20
1
2
DECIDABILITY OF MODULES OVER A BÉZOUT DOMAIN D + XQ[X] WITH D A PRINCIPAL IDEAL DOMAIN AND Q ITS FIELD OF FRACTIONS.
- Published in:
- Journal of Symbolic Logic, 2014, v. 79, n. 1, p. 296, doi. 10.1017/jsl.2014.4
- By:
- Publication type:
- Article
3
FROM A<sub>1</sub> TO D<sub>5</sub>; TOWARDS A FORCING-RELATED CLASSIFICATION OF RELATIONAL STRUCTURES.
- Published in:
- Journal of Symbolic Logic, 2014, v. 79, n. 1, p. 279, doi. 10.1017/jsl.2013.26
- By:
- Publication type:
- Article
4
ON ω<sub>1</sub>-STRONGLY COMPACT CARDINALS.
- Published in:
- Journal of Symbolic Logic, 2014, v. 79, n. 1, p. 266, doi. 10.1017/jsl.2013.12
- By:
- Publication type:
- Article
5
A LIGHTFACE ANALYSIS OF THE DIFFERENTIABILITY RANK.
- Published in:
- Journal of Symbolic Logic, 2014, v. 79, n. 1, p. 240, doi. 10.1017/jsl.2013.23
- By:
- Publication type:
- Article
6
FAMILIES OF ULTRAFILTERS, AND HOMOMORPHISMS ON INFINITE DIRECT PRODUCT ALGEBRAS.
- Published in:
- Journal of Symbolic Logic, 2014, v. 79, n. 1, p. 223, doi. 10.1017/jsl.2013.5
- By:
- Publication type:
- Article
7
THE NEAT EMBEDDING PROBLEM FOR ALGEBRAS OTHER THAN CYLINDRIC ALGEBRAS AND FOR INFINITE DIMENSIONS.
- Published in:
- Journal of Symbolic Logic, 2014, v. 79, n. 1, p. 208, doi. 10.1017/jsl.2013.20
- By:
- Publication type:
- Article
8
THE STRONG TREE PROPERTY AT SUCCESSORS OF SINGULAR CARDINALS.
- Published in:
- Journal of Symbolic Logic, 2014, v. 79, n. 1, p. 193, doi. 10.1017/jsl.2013.3
- By:
- Publication type:
- Article
9
DECIDABLE MODELS OF ω-STABLE THEORIES.
- Published in:
- Journal of Symbolic Logic, 2014, v. 79, n. 1, p. 186, doi. 10.1017/jsl.2013.2
- By:
- Publication type:
- Article
10
GENERIC STABILITY AND STABILITY.
- Published in:
- Journal of Symbolic Logic, 2014, v. 79, n. 1, p. 179, doi. 10.1017/jsl.2013.29
- By:
- Publication type:
- Article
11
THE TURING DEGREES BELOW GENERICS AND RANDOMS.
- Published in:
- Journal of Symbolic Logic, 2014, v. 79, n. 1, p. 171, doi. 10.1017/jsl.2013.13
- By:
- Publication type:
- Article
12
CONVEXLY ORDERABLE GROUPS AND VALUED FIELDS.
- Published in:
- Journal of Symbolic Logic, 2014, v. 79, n. 1, p. 154, doi. 10.1017/jsl.2013.16
- By:
- Publication type:
- Article
13
AN INDEPENDENCE THEOREM FOR NTP<sub>2</sub> THEORIES.
- Published in:
- Journal of Symbolic Logic, 2014, v. 79, n. 1, p. 135, doi. 10.1017/jsl.2013.22
- By:
- Publication type:
- Article
14
MODEL-THEORETIC PROPERTIES OF ULTRAFILTERS BUILT BY INDEPENDENT FAMILIES OF FUNCTIONS.
- Published in:
- Journal of Symbolic Logic, 2014, v. 79, n. 1, p. 103, doi. 10.1017/jsl.2013.28
- By:
- Publication type:
- Article
15
THE STRENGTH OF RAMSEY'S THEOREM FOR COLORING RELATIVELY LARGE SETS.
- Published in:
- Journal of Symbolic Logic, 2014, v. 79, n. 1, p. 89, doi. 10.1017/jsl.2013.27
- By:
- Publication type:
- Article
16
UNIVERSAL COMPUTABLY ENUMERABLE EQUIVALENCE RELATIONS.
- Published in:
- Journal of Symbolic Logic, 2014, v. 79, n. 1, p. 60, doi. 10.1017/jsl.2013.8
- By:
- Publication type:
- Article
17
THE NON-AXIOMATIZABILITY OF O-MINIMALITY.
- Published in:
- Journal of Symbolic Logic, 2014, v. 79, n. 1, p. 54, doi. 10.1017/jsl.2013.6
- By:
- Publication type:
- Article
18
A REDUCTION TO THE COMPACT CASE FOR GROUPS DEFINABLE IN O-MINIMAL STRUCTURES.
- Published in:
- Journal of Symbolic Logic, 2014, v. 79, n. 1, p. 45, doi. 10.1017/jsl.2013.4
- By:
- Publication type:
- Article
19
MASS PROBLEMS AND INITIAL SEGMENT COMPLEXITY.
- Published in:
- Journal of Symbolic Logic, 2014, v. 79, n. 1, p. 20, doi. 10.1017/jsl.2013.7
- By:
- Publication type:
- Article
20
FIELDS WITH SEVERAL COMMUTING DERIVATIONS.
- Published in:
- Journal of Symbolic Logic, 2014, v. 79, n. 1, p. 1, doi. 10.1017/jsl.2013.19
- By:
- Publication type:
- Article