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

Results: 23

UNIFORM DISTRIBUTION AND ALGORITHMIC RANDOMNESS.

Published in:

Journal of Symbolic Logic, 2013, v. 78, n. 1, p. 334, doi. 10.2178/jsl.7801230

By:

AVIGAD, JEREMY

Publication type:

Article

STRONG TREE PROPERTIES FOR SMALL CARDINALS.

Published in:

Journal of Symbolic Logic, 2013, v. 78, n. 1, p. 317, doi. 10.2178/jsl.7801220

By:

FONTANELLA, LAURA

Publication type:

Article

CHARACTERIZING QUANTIFIER EXTENSIONS OF DEPENDENCE LOGIC.

Published in:

Journal of Symbolic Logic, 2013, v. 78, n. 1, p. 307, doi. 10.2178/jsl.7801210

By:

ENGSTRÖM, FREDRIK;
KONTINEN, JUHA

Publication type:

Article

CENTRALISATEURS GÉNÉRIQUES.

Published in:

Journal of Symbolic Logic, 2013, v. 78, n. 1, p. 290, doi. 10.2178/jsl.7801200

By:

POIZAT, BRUNO

Publication type:

Article

UNBOUNDED AND DOMINATING REALS IN HECHLER EXTENSIONS.

Published in:

Journal of Symbolic Logic, 2013, v. 78, n. 1, p. 275, doi. 10.2178/jsl.7801190

By:

PALUMBO, JUSTIN

Publication type:

Article

ATOMIC POLYMORPHISM.

Published in:

Journal of Symbolic Logic, 2013, v. 78, n. 1, p. 260, doi. 10.2178/jsl.7801180

By:

FERREIRA, FERNANDO;
FERREIRA, GILDA

Publication type:

Article

MODEL THEORETIC CONNECTED COMPONENTS OF FINITELY GENERATED NILPOTENT GROUPS.

Published in:

Journal of Symbolic Logic, 2013, v. 78, n. 1, p. 245, doi. 10.2178/jsl.7801170

By:

BOWLER, NATHAN;
CONG CHEN;
GISMATULLIN, JAKUB

Publication type:

Article

UNIVERSAL SETS FOR POINTSETS PROPERLY ON THE n<sup>th</sup> LEVEL OF THE PROJECTIVE HIERARCHY.

Published in:

Journal of Symbolic Logic, 2013, v. 78, n. 1, p. 237, doi. 10.2178/jsl.7801160

By:

HJORTH, GREG;
HUMPHRIES, LEIGH;
MILLER, ARNOLD W.

Publication type:

Article

ON THE DECIDABILITY OF IMPLICATIONAL TICKET ENTAILMENT.

Published in:

Journal of Symbolic Logic, 2013, v. 78, n. 1, p. 214, doi. 10.2178/jsl.7801150

By:

BIMBÓ, KATALIN;
DUNN, J. MICHAEL

Publication type:

Article

AN ANALOGUE OF THE BAIRE CATEGORY THEOREM.

Published in:

Journal of Symbolic Logic, 2013, v. 78, n. 1, p. 207, doi. 10.2178/jsl.7801140

By:

HIERONYMI, PHILIPP

Publication type:

Article

RANDOM REALS, THE RAINBOW RAMSEY THEOREM. AND ARITHMETIC CONSERVATION.

Published in:

Journal of Symbolic Logic, 2013, v. 78, n. 1, p. 195, doi. 10.2178/jsl.7801130

By:

CONIDIS, CHRIS J.;
SLAMAN, THEODORE A.

Publication type:

Article

MUTUALLY ALGEBRAIC STRUCTURES AND EXPANSIONS BY PREDICATES.

Published in:

Journal of Symbolic Logic, 2013, v. 78, n. 1, p. 185, doi. 10.2178/jsl.7801120

By:

LASKOWSKI, MICHAEL C.

Publication type:

Article

BOREL'S CONJECTURE IN TOPOLOGICAL GROUPS.

Published in:

Journal of Symbolic Logic, 2013, v. 78, n. 1, p. 168, doi. 10.2178/jsl.7801110

By:

GALVIN, FRED;
SCHEEPERS, MARION

Publication type:

Article

P-IDEAL DICHOTOMY AND WEAK SQUARES.

Published in:

Journal of Symbolic Logic, 2013, v. 78, n. 1, p. 157, doi. 10.2178/jsl.7801100

By:

RAGHAVAN, DILIP

Publication type:

Article

POINTWISE DEFINABLE MODELS OF SET THEORY.

Published in:

Journal of Symbolic Logic, 2013, v. 78, n. 1, p. 139, doi. 10.2178/jsl.7801090

By:

HAMKINS, JOEL DAVID;
LINETSKY, DAVID;
REITZ, JONAS

Publication type:

Article

INDIFFERENT SETS FOR GENERICITY.

Published in:

Journal of Symbolic Logic, 2013, v. 78, n. 1, p. 113, doi. 10.2178/jsl.7801080

By:

DAY, ADAM R.

Publication type:

Article

CANONIZING RELATIONS ON NONSMOOTH SETS.

Published in:

Journal of Symbolic Logic, 2013, v. 78, n. 1, p. 101, doi. 10.2178/jsl.7801070

By:

CONLEY, CLINTON T.

Publication type:

Article

A MINIMAL PRIKRY-TYPE FORCING FOR SINGULARIZING A MEASURABLE CARDINAL.

Published in:

Journal of Symbolic Logic, 2013, v. 78, n. 1, p. 85, doi. 10.2178/jsl.7801060

By:

KOEPKE, PETER;
RÄSCH, KAREN;
SCHLICHT, PHILIPP

Publication type:

Article

FIELDS WITH FEW TYPES.

Published in:

Journal of Symbolic Logic, 2013, v. 78, n. 1, p. 72, doi. 10.2178/jsl.7801050

By:

MILLIET, CÉDRIC

Publication type:

Article

SOME JUMP-LIKE OPERATIONS IN β-RECURSION THEORY.

Published in:

Journal of Symbolic Logic, 2013, v. 78, n. 1, p. 57, doi. 10.2178/jsl.7801040

By:

BAILEY, COLIN G.

Publication type:

Article

ON THE FAILURE OF BD-ℕ AND BD, AND AN APPLICATION TO THE ANTI-SPECKER PROPERTY.

Published in:

Journal of Symbolic Logic, 2013, v. 78, n. 1, p. 39, doi. 10.2178/jsl.7801030

By:

LUBARSKY, ROBERT S.

Publication type:

Article

GETTING MORE COLORS II.

Published in:

Journal of Symbolic Logic, 2013, v. 78, n. 1, p. 17, doi. 10.2178/jsl.7801020

By:

EISWORTH, TODD

Publication type:

Article

GETTING MORE COLORS I.

Published in:

Journal of Symbolic Logic, 2013, v. 78, n. 1, p. 1, doi. 10.2178/jsl.7801010

By:

ETSWORTH, TODD

Publication type:

Article