Works matching IS 00224812 AND DT 2018 AND VI 83 AND IP 1

Results: 25

WEAKLY 2-RANDOMS AND 1-GENERICS IN SCOTT SETS.

Published in:

Journal of Symbolic Logic, 2018, v. 83, n. 1, p. 392, doi. 10.1017/jsl.2017.73

By:

WESTRICK, LINDA BROWN

Publication type:

Article

JSL volume 83 issue 1 Cover and Back matter.

Published in:: Journal of Symbolic Logic, 2018, v. 83, n. 1, p. b1, doi. 10.1017/jsl.2018.16
Publication type:: Article

JSL volume 83 issue 1 Cover and Front matter.

Published in:: 2018
Publication type:: Table of Contents

ON CUTS IN ULTRAPRODUCTS OF LINEAR ORDERS II.

Published in:

Journal of Symbolic Logic, 2018, v. 83, n. 1, p. 29, doi. 10.1017/jsl.2017.87

By:

GOLSHANI, MOHAMMAD;
SHELAH, SAHARON

Publication type:

Article

ZFC PROVES THAT THE CLASS OF ORDINALS IS NOT WEAKLY COMPACT FOR DEFINABLE CLASSES.

Published in:

Journal of Symbolic Logic, 2018, v. 83, n. 1, p. 146, doi. 10.1017/jsl.2017.75

By:

ENAYAT, ALI;
HAMKINS, JOEL DAVID

Publication type:

Article

DEGREES OF CATEGORICITY AND SPECTRAL DIMENSION.

Published in:

Journal of Symbolic Logic, 2018, v. 83, n. 1, p. 103, doi. 10.1017/jsl.2017.70

By:

BAZHENOV, NIKOLAY A.;
KALIMULLIN, ISKANDER SH.;
YAMALEEV, MARS M.

Publication type:

Article

DECIDING THE CHROMATIC NUMBERS OF ALGEBRAIC HYPERGRAPHS.

Published in:

Journal of Symbolic Logic, 2018, v. 83, n. 1, p. 128, doi. 10.1017/jsl.2017.47

By:

SCHMERL, JAMES H.

Publication type:

Article

HIERARCHIES OF FORCING AXIOMS, THE CONTINUUM HYPOTHESIS AND SQUARE PRINCIPLES.

Published in:

Journal of Symbolic Logic, 2018, v. 83, n. 1, p. 256, doi. 10.1017/jsl.2017.46

By:

FUCHS, GUNTER

Publication type:

Article

JUMP OPERATIONS FOR BOREL GRAPHS.

Published in:

Journal of Symbolic Logic, 2018, v. 83, n. 1, p. 13, doi. 10.1017/jsl.2017.45

By:

DAY, ADAM R.;
MARKS, ANDREW S.

Publication type:

Article

COMPACT METRIZABLE STRUCTURES AND CLASSIFICATION PROBLEMS.

Published in:

Journal of Symbolic Logic, 2018, v. 83, n. 1, p. 165, doi. 10.1017/jsl.2017.39

By:

ROSENDAL, CHRISTIAN;
ZIELINSKI, JOSEPH

Publication type:

Article

THE EIGHTFOLD WAY.

Published in:

Journal of Symbolic Logic, 2018, v. 83, n. 1, p. 349, doi. 10.1017/jsl.2017.69

By:

CUMMINGS, JAMES;
FRIEDMAN, SY-DAVID;
MAGIDOR, MENACHEM;
RINOT, ASSAF;
SINAPOVA, DIMA

Publication type:

Article

STRICT COHERENCE ON MANY-VALUED EVENTS.

Published in:

Journal of Symbolic Logic, 2018, v. 83, n. 1, p. 55, doi. 10.1017/jsl.2017.34

By:

FLAMINIO, TOMMASO;
HOSNI, HYKEL;
MONTAGNA, FRANCO

Publication type:

Article

HIERARCHIES OF (VIRTUAL) RESURRECTION AXIOMS.

Published in:

Journal of Symbolic Logic, 2018, v. 83, n. 1, p. 283, doi. 10.1017/jsl.2017.65

By:

FUCHS, GUNTER

Publication type:

Article

THERE ARE NO INTERMEDIATE STRUCTURES BETWEEN THE GROUP OF INTEGERS AND PRESBURGER ARITHMETIC.

Published in:

Journal of Symbolic Logic, 2018, v. 83, n. 1, p. 187, doi. 10.1017/jsl.2017.62

By:

CONANT, GABRIEL

Publication type:

Article

A COMPUTABLE FUNCTOR FROM GRAPHS TO FIELDS.

Published in:

Journal of Symbolic Logic, 2018, v. 83, n. 1, p. 326, doi. 10.1017/jsl.2017.50

By:

MILLER, RUSSELL;
POONEN, BJORN;
SCHOUTENS, HANS;
SHLAPENTOKH, ALEXANDRA

Publication type:

Article

MINIMAL AXIOMATIC FRAMEWORKS FOR DEFINABLE HYPERREALS WITH TRANSFER.

Published in:

Journal of Symbolic Logic, 2018, v. 83, n. 1, p. 385, doi. 10.1017/jsl.2017.48

By:

HERZBERG, FREDERIK S.;
KANOVEI, VLADIMIR;
KATZ, MIKHAIL;
LYUBETSKY, VASSILY

Publication type:

Article

A DIRECT PROOF OF SCHWICHTENBERG’S BAR RECURSION CLOSURE THEOREM.

Published in:

Journal of Symbolic Logic, 2018, v. 83, n. 1, p. 70, doi. 10.1017/jsl.2017.33

By:

OLIVA, PAULO;
STEILA, SILVIA

Publication type:

Article

ON MAXIMAL STABLE QUOTIENTS OF DEFINABLE GROUPS IN <italic>NIP</italic> THEORIES.

Published in:

Journal of Symbolic Logic, 2018, v. 83, n. 1, p. 117, doi. 10.1017/jsl.2017.26

By:

HASKEL, MIKE;
PILLAY, ANAND

Publication type:

Article

THE NUMBER OF ATOMIC MODELS OF UNCOUNTABLE THEORIES.

Published in:

Journal of Symbolic Logic, 2018, v. 83, n. 1, p. 84, doi. 10.1017/jsl.2017.25

By:

ULRICH, DOUGLAS

Publication type:

Article

BOUNDED POLYNOMIALS AND HOLOMORPHIC MAPPINGS BETWEEN CONVEX SUBRINGS OF *$\mathbb{C}$.

Published in:

Journal of Symbolic Logic, 2018, v. 83, n. 1, p. 372, doi. 10.1017/jsl.2017.24

By:

KHALFALLAH, ADEL;
KOSAREW, SIEGMUND

Publication type:

Article

WEAK SQUARES AND VERY GOOD SCALES.

Published in:

Journal of Symbolic Logic, 2018, v. 83, n. 1, p. 1, doi. 10.1017/jsl.2017.23

By:

LEVINE, MAXWELL

Publication type:

Article

COHERENT SYSTEMS OF FINITE SUPPORT ITERATIONS.

Published in:

Journal of Symbolic Logic, 2018, v. 83, n. 1, p. 208, doi. 10.1017/jsl.2017.20

By:

FISCHER, VERA;
FRIEDMAN, SY D.;
MEJÍA, DIEGO A.;
MONTOYA, DIANA C.

Publication type:

Article

LEFT-ORDERABLE COMPUTABLE GROUPS.

Published in:

Journal of Symbolic Logic, 2018, v. 83, n. 1, p. 237, doi. 10.1017/jsl.2017.19

By:

HARRISON-TRAINOR, MATTHEW

Publication type:

Article

DOMINIONS AND PRIMITIVE POSITIVE FUNCTIONS.

Published in:

Journal of Symbolic Logic, 2018, v. 83, n. 1, p. 40, doi. 10.1017/jsl.2017.18

By:

CAMPERCHOLI, MIGUEL

Publication type:

Article

THE DEFINABLE (<italic>P</italic>, <italic>Q</italic>)-THEOREM FOR DISTAL THEORIES.

Published in:

Journal of Symbolic Logic, 2018, v. 83, n. 1, p. 123, doi. 10.1017/jsl.2016.72

By:

BOXALL, GARETH;
KESTNER, CHARLOTTE

Publication type:

Article