Works matching IS 00224812 AND DT 2013 AND VI 78 AND IP 3

Results: 18

LOW LEVEL NONDEFINABILITY RESULTS: DOMINATION AND RECURSIVE ENUMERATION.

Published in:

Journal of Symbolic Logic, 2013, v. 78, n. 3, p. 1005, doi. 10.2178/jsl.7803180

By:

MINGZHONG CAI;
SHORE, RICHARD A.

Publication type:

Article

THE THEORY OF TRACIAL VON NEUMANN ALGEBRAS DOES NOT HAVE A MODEL COMPANION.

Published in:

Journal of Symbolic Logic, 2013, v. 78, n. 3, p. 1000, doi. 10.2178/jsl.7803170

By:

GOLDBRING, ISAAC;
HART, BRADD;
SINCLAIR, THOMAS

Publication type:

Article

INVARIANCE PROPERTIES OF ALMOST DISJOINT FAMILIES.

Published in:

Journal of Symbolic Logic, 2013, v. 78, n. 3, p. 989, doi. 10.2178/jsl.7803160

By:

ARCIGA-ALEJANDRE, M.;
HRUŠÁK, M.;
MARTINEZ-RANERO, C.

Publication type:

Article

DIAGONALLY NON-COMPUTABLE FUNCTIONS AND BI-IMMUNITY.

Published in:

Journal of Symbolic Logic, 2013, v. 78, n. 3, p. 977, doi. 10.2178/jsl.7803150

By:

JOCKUSCH JR., CARL G.;
LEWIS, ANDREW E. M.

Publication type:

Article

NEW EXAMPLES OF SMALL POLISH STRUCTURES.

Published in:

Journal of Symbolic Logic, 2013, v. 78, n. 3, p. 969, doi. 10.2178/jsl.7803140

By:

DOBROWOLSKI, JAN

Publication type:

Article

COMPARISONS OF POLYCHROMATIC AND MONOCHROMATIC RAMSEY THEORY.

Published in:

Journal of Symbolic Logic, 2013, v. 78, n. 3, p. 951, doi. 10.2178/jsl.7803130

By:

PALUMBO, JUSTIN

Publication type:

Article

FAILURE OF INTERPOLATION IN CONSTANT DOMAIN INTUITIONISTIC LOGIC.

Published in:

Journal of Symbolic Logic, 2013, v. 78, n. 3, p. 937, doi. 10.2178/jsl.7803120

By:

MINTS, GRIGORI;
OEKHOVIKOV, GRIGORY;
URQUHART, ALASDAIR

Publication type:

Article

A LIMIT LAW OF ALMOST l-PARTITE GRAPHS.

Published in:

Journal of Symbolic Logic, 2013, v. 78, n. 3, p. 911, doi. 10.2178/jsl.7803110

By:

KOPONEN, VERA

Publication type:

Article

MEASURES INDUCED BY UNITS.

Published in:

Journal of Symbolic Logic, 2013, v. 78, n. 3, p. 886, doi. 10.2178/jsl.7803100

By:

PANTI, GIOVANNI;
RAVOTTI, DAVIDE

Publication type:

Article

PRINCIPLES WEAKER THAN BD-N.

Published in:

Journal of Symbolic Logic, 2013, v. 78, n. 3, p. 873, doi. 10.2178/jsl.7803090

By:

LUBARSKY, ROBERT S.;
DIENER, HANNES

Publication type:

Article

HIGHER-ORDER ILLATIVE COMBINATORY LOGIC.

Published in:

Journal of Symbolic Logic, 2013, v. 78, n. 3, p. 837, doi. 10.2178/jsl.7803080

By:

CZAJKA, LUKASZ

Publication type:

Article

RAINBOW RAMSEY THEOREM FOR TRIPLES IS STRICTLY WEAKER THAN THE ARITHMETICAL COMPREHENSION AXIOM.

Published in:

Journal of Symbolic Logic, 2013, v. 78, n. 3, p. 824, doi. 10.2178/jsl.7803070

By:

WEI WANG

Publication type:

Article

KILLING THE GCH EVERYWHERE WITH A SINGLE REAL.

Published in:

Journal of Symbolic Logic, 2013, v. 78, n. 3, p. 803, doi. 10.2178/jsl.7803060

By:

FRIEDMAN, SY-DAVID;
GOLSHANI, MOHAMMAD

Publication type:

Article

NAMBA FORCING AND NO GOOD SCALE.

Published in:

Journal of Symbolic Logic, 2013, v. 78, n. 3, p. 785, doi. 10.2178/jsl.7803050

By:

KRUEGER, JOHN

Publication type:

Article

INFINITE SETS THAT SATISFY THE PRINCIPLE OF OMNISCIENCE IN ANY VARIETY OF CONSTRUCTIVE MATHEMATICS.

Published in:

Journal of Symbolic Logic, 2013, v. 78, n. 3, p. 764, doi. 10.2178/jsl.7803040

By:

ESCARDO, MARTIN H.

Publication type:

Article

ON THE PREWELLORDERINGS ASSOCIATED WITH THE DIRECTED SYSTEMS OF MICE.

Published in:

Journal of Symbolic Logic, 2013, v. 78, n. 3, p. 735, doi. 10.2178/jsl.7803030

By:

SARGSYAN, GRIGOR

Publication type:

Article

K WITHOUT THE MEASURABLE.

Published in:

Journal of Symbolic Logic, 2013, v. 78, n. 3, p. 708, doi. 10.2178/jsl.7803020

By:

JENSEN, RONALD;
STEEL, JOHN

Publication type:

Article

FORCING CLOSED UNBOUNDED SUBSETS OF ℵ<sub>ω1+1</sub>.

Published in:

Journal of Symbolic Logic, 2013, v. 78, n. 3, p. 681, doi. 10.2178/jsl.7803010

By:

STANLEY, M. C.

Publication type:

Article