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

Results: 26

JSL volume 83 issue 4 Cover and Back matter.

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

JSL volume 83 issue 4 Cover and Front matter.

Published in:: Journal of Symbolic Logic, 2018, v. 83, n. 4, p. f1, doi. 10.1017/jsl.2018.78
Publication type:: Article

SOME MODEL THEORY OF GUARDED NEGATION.

Published in:

Journal of Symbolic Logic, 2018, v. 83, n. 4, p. 1307, doi. 10.1017/jsl.2018.64

By:

BÁRÁNY, VINCE;
BENEDIKT, MICHAEL;
CATE, BALDER TEN

Publication type:

Article

RELATIVE DEFINABILITY OF n -GENERICS.

Published in:

Journal of Symbolic Logic, 2018, v. 83, n. 4, p. 1345, doi. 10.1017/jsl.2018.62

By:

WANG, WEI

Publication type:

Article

ON CONSTRAINTS AND DIVIDING IN TERNARY HOMOGENEOUS STRUCTURES.

Published in:

Journal of Symbolic Logic, 2018, v. 83, n. 4, p. 1691, doi. 10.1017/jsl.2018.61

By:

KOPONEN, VERA

Publication type:

Article

DECIDABILITY OF THE THEORY OF MODULES OVER PRÜFER DOMAINS WITH INFINITE RESIDUE FIELDS.

Published in:

Journal of Symbolic Logic, 2018, v. 83, n. 4, p. 1391, doi. 10.1017/jsl.2018.58

By:

GREGORY, LORNA;
L'INNOCENTE, SONIA;
TOFFALORI, CARLO;
PUNINSKI, GENA

Publication type:

Article

THE VARIETY OF COSET RELATION ALGEBRAS.

Published in:

Journal of Symbolic Logic, 2018, v. 83, n. 4, p. 1595, doi. 10.1017/jsl.2018.48

By:

GIVANT, STEVEN;
ANDRÉKA, HAJNAL

Publication type:

Article

THE ELLIS GROUP CONJECTURE AND VARIANTS OF DEFINABLE AMENABILITY.

Published in:

Journal of Symbolic Logic, 2018, v. 83, n. 4, p. 1376, doi. 10.1017/jsl.2018.55

By:

JAGIELLA, GRZEGORZ

Publication type:

Article

GENERALIZATIONS OF THE RECURSION THEOREM.

Published in:

Journal of Symbolic Logic, 2018, v. 83, n. 4, p. 1683, doi. 10.1017/jsl.2018.52

By:

TERWIJN, SEBASTIAAN A.

Publication type:

Article

INTERPRETABLE SETS IN DENSE O-MINIMAL STRUCTURES.

Published in:

Journal of Symbolic Logic, 2018, v. 83, n. 4, p. 1477, doi. 10.1017/jsl.2018.50

By:

JOHNSON, WILL

Publication type:

Article

BROUWER'S FAN THEOREM AND CONVEXITY.

Published in:

Journal of Symbolic Logic, 2018, v. 83, n. 4, p. 1363, doi. 10.1017/jsl.2018.49

By:

BERGER, JOSEF;
SVINDLAND, GREGOR

Publication type:

Article

SQUARES, ASCENT PATHS, AND CHAIN CONDITIONS.

Published in:

Journal of Symbolic Logic, 2018, v. 83, n. 4, p. 1512, doi. 10.1017/jsl.2018.56

By:

LAMBIE-HANSON, CHRIS;
LÜCKE, PHILIPP

Publication type:

Article

THE UNITY AND IDENTITY OF DECIDABLE OBJECTS AND DOUBLE-NEGATION SHEAVES.

Published in:

Journal of Symbolic Logic, 2018, v. 83, n. 4, p. 1667, doi. 10.1017/jsl.2018.42

By:

MENNI, MATÍAS

Publication type:

Article

ACCEPTABLE COLORINGS OF INDEXED HYPERSPACES.

Published in:

Journal of Symbolic Logic, 2018, v. 83, n. 4, p. 1644, doi. 10.1017/jsl.2018.39

By:

SCHMERL, JAMES H.

Publication type:

Article

CONTRACTION-FREE SEQUENT CALCULI FOR INTUITIONISTIC LOGIC: A CORRECTION.

Published in:

2018

By:

DYCKHOFF, ROY

Publication type:

Correction Notice

UNIVERSAL CLASSES NEAR ${\aleph _1}$.

Published in:

Journal of Symbolic Logic, 2018, v. 83, n. 4, p. 1633, doi. 10.1017/jsl.2018.37

By:

MAZARI-ARMIDA, MARCOS;
VASEY, SEBASTIEN

Publication type:

Article

BERKELEY CARDINALS AND THE STRUCTURE OF L (V <sub> δ+ 1</sub>).

Published in:

Journal of Symbolic Logic, 2018, v. 83, n. 4, p. 1457, doi. 10.1017/jsl.2018.35

By:

CUTOLO, RAFFAELLA

Publication type:

Article

NAMBA FORCING, WEAK APPROXIMATION, AND GUESSING.

Published in:

Journal of Symbolic Logic, 2018, v. 83, n. 4, p. 1539, doi. 10.1017/jsl.2018.30

By:

COX, SEAN;
KRUEGER, JOHN

Publication type:

Article

ENAYAT MODELS OF PEANO ARITHMETIC.

Published in:

Journal of Symbolic Logic, 2018, v. 83, n. 4, p. 1501, doi. 10.1017/jsl.2018.29

By:

ABDUL-QUADER, ATHAR

Publication type:

Article

UNIVERSAL MINIMAL FLOWS OF GENERALIZED WAŻEWSKI DENDRITES.

Published in:

Journal of Symbolic Logic, 2018, v. 83, n. 4, p. 1618, doi. 10.1017/jsl.2018.26

By:

KWIATKOWSKA, ALEKSANDRA

Publication type:

Article

CELL DECOMPOSITION AND CLASSIFICATION OF DEFINABLE SETS IN p -OPTIMAL FIELDS - CORRIGENDUM.

Published in:

2018

By:

DARNIÈRE, LUCK;
HALUPCZOK, IMMANUEL

Publication type:

Correction Notice

A FORCING NOTION COLLAPSING $\aleph _3 $ AND PRESERVING ALL OTHER CARDINALS.

Published in:

Journal of Symbolic Logic, 2018, v. 83, n. 4, p. 1579, doi. 10.1017/jsl.2018.20

By:

ASPERÓ, DAVID

Publication type:

Article

THE STRENGTH OF RAMSEY'S THEOREM FOR PAIRS AND ARBITRARILY MANY COLORS.

Published in:

Journal of Symbolic Logic, 2018, v. 83, n. 4, p. 1610, doi. 10.1017/jsl.2018.19

By:

SLAMAN, THEODORE A.;
YOKOYAMA, KEITA

Publication type:

Article

CONSTRUCTING TYPES IN DIFFERENTIALLY CLOSED FIELDS THAT ARE ANALYSABLE IN THE CONSTANTS.

Published in:

Journal of Symbolic Logic, 2018, v. 83, n. 4, p. 1413, doi. 10.1017/jsl.2018.10

By:

JIN, RUIZHANG

Publication type:

Article

PROFINITENESS IN FINITELY GENERATED VARIETIES IS UNDECIDABLE.

Published in:

Journal of Symbolic Logic, 2018, v. 83, n. 4, p. 1566, doi. 10.1017/jsl.2017.89

By:

NURAKUNOV, ANVAR M.;
STRONKOWSKI, MICHAŁ M.

Publication type:

Article

BOREL FUNCTORS AND INFINITARY INTERPRETATIONS.

Published in:

Journal of Symbolic Logic, 2018, v. 83, n. 4, p. 1434, doi. 10.1017/jsl.2017.81

By:

HARRISON-TRAINOR, MATTHEW;
MILLER, RUSSELL;
MONTALBÁN, ANTONIO

Publication type:

Article