Found: 18
Select item for more details and to access through your institution.
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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- Publication type:
- Article
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:
- Publication type:
- Article