Works matching IS 00224812 AND DT 2024 AND VI 89 AND IP 3

Results: 18

JSL volume 89 issue 3 Cover and Back matter.

Published in:: Journal of Symbolic Logic, 2024, v. 89, n. 3, p. b1, doi. 10.1017/jsl.2024.67
Publication type:: Article

JSL volume 89 issue 3 Cover and Front matter.

Published in:: Journal of Symbolic Logic, 2024, v. 89, n. 3, p. f1, doi. 10.1017/jsl.2024.66
Publication type:: Article

EXTENSIONS AND LIMITS OF THE SPECKER–BLATTER THEOREM.

Published in:

Journal of Symbolic Logic, 2024, v. 89, n. 3, p. 1284, doi. 10.1017/jsl.2024.17

By:

FISCHER, ELDAR;
MAKOWSKY, JOHANN A.

Publication type:

Article

A NEW PERSPECTIVE ON SEMI-RETRACTIONS AND THE RAMSEY PROPERTY.

Published in:

Journal of Symbolic Logic, 2024, v. 89, n. 3, p. 945, doi. 10.1017/jsl.2024.15

By:

BARTOŠOVÁ, DANA;
SCOW, LYNN

Publication type:

Article

THE STRONG AND SUPER TREE PROPERTIES AT SUCCESSORS OF SINGULAR CARDINALS.

Published in:

Journal of Symbolic Logic, 2024, v. 89, n. 3, p. 1251, doi. 10.1017/jsl.2023.96

By:

ADKISSON, WILLIAM

Publication type:

Article

ORTHOGONAL DECOMPOSITION OF DEFINABLE GROUPS.

Published in:

Journal of Symbolic Logic, 2024, v. 89, n. 3, p. 1158, doi. 10.1017/jsl.2023.56

By:

BERARDUCCI, ALESSANDRO;
ELEFTHERIOU, PANTELIS E.;
MAMINO, MARCELLO

Publication type:

Article

FRACTAL DIMENSIONS OF k -AUTOMATIC SETS.

Published in:

Journal of Symbolic Logic, 2024, v. 89, n. 3, p. 1128, doi. 10.1017/jsl.2023.55

By:

BLOCK GORMAN, ALEXI;
SCHULZ, CHRIS

Publication type:

Article

THE REVERSE MATHEMATICS OF ${\mathsf {CAC\ FOR\ TREES}}$.

Published in:

Journal of Symbolic Logic, 2024, v. 89, n. 3, p. 1189, doi. 10.1017/jsl.2023.27

By:

CERVELLE, JULIEN;
GAUDELIER, WILLIAM;
PATEY, LUDOVIC

Publication type:

Article

ON THE C.E. DEGREES REALIZABLE IN $\Pi ^0_1$ CLASSES.

Published in:

Journal of Symbolic Logic, 2024, v. 89, n. 3, p. 1370, doi. 10.1017/jsl.2023.26

By:

CSIMA, BARBARA F.;
DOWNEY, ROD;
NG, KENG MENG

Publication type:

Article

COMPUTABLE PRESENTATIONS OF C*-ALGEBRAS.

Published in:

Journal of Symbolic Logic, 2024, v. 89, n. 3, p. 1313, doi. 10.1017/jsl.2023.23

By:

FOX, ALEC

Publication type:

Article

SEPARATING MANY LOCALISATION CARDINALS ON THE GENERALISED BAIRE SPACE.

Published in:

Journal of Symbolic Logic, 2024, v. 89, n. 3, p. 1212, doi. 10.1017/jsl.2023.21

By:

VAN DER VLUGT, TRISTAN

Publication type:

Article

COMPARING COMPUTABILITY IN TWO TOPOLOGIES.

Published in:

Journal of Symbolic Logic, 2024, v. 89, n. 3, p. 1232, doi. 10.1017/jsl.2023.17

By:

AMIR, DJAMEL EDDINE;
HOYRUP, MATHIEU

Publication type:

Article

SELF-EMBEDDINGS OF MODELS OF ARITHMETIC; FIXED POINTS, SMALL SUBMODELS, AND EXTENDABILITY.

Published in:

Journal of Symbolic Logic, 2024, v. 89, n. 3, p. 1044, doi. 10.1017/jsl.2022.88

By:

BAHRAMI, SAEIDEH

Publication type:

Article

REFLECTION IN SECOND-ORDER SET THEORY WITH ABUNDANT URELEMENTS BI-INTERPRETS A SUPERCOMPACT CARDINAL.

Published in:

Journal of Symbolic Logic, 2024, v. 89, n. 3, p. 1007, doi. 10.1017/jsl.2022.87

By:

HAMKINS, JOEL DAVID;
YAO, BOKAI

Publication type:

Article

ON CUPPING AND AHMAD PAIRS.

Published in:

Journal of Symbolic Logic, 2024, v. 89, n. 3, p. 1358, doi. 10.1017/jsl.2022.84

By:

KALIMULLIN, ISKANDER SH.;
LEMPP, STEFFEN;
NG, KENG;
YAMALEEV, MARS M.

Publication type:

Article

ON ROBUST THEOREMS DUE TO BOLZANO, WEIERSTRASS, JORDAN, AND CANTOR.

Published in:

Journal of Symbolic Logic, 2024, v. 89, n. 3, p. 1077, doi. 10.1017/jsl.2022.71

By:

NORMANN, DAG;
SANDERS, SAM

Publication type:

Article

STRONG COMPACTNESS, SQUARE, GCH, AND WOODIN CARDINALS.

Published in:

Journal of Symbolic Logic, 2024, v. 89, n. 3, p. 1180, doi. 10.1017/jsl.2022.62

By:

APTER, ARTHUR W.

Publication type:

Article

THE PERMUTATIONS WITH n NON-FIXED POINTS AND THE SEQUENCES WITH LENGTH n OF A SET.

Published in:

Journal of Symbolic Logic, 2024, v. 89, n. 3, p. 1067, doi. 10.1017/jsl.2022.57

By:

NUNTASRI, JUKKRID;
VEJJAJIVA, PIMPEN

Publication type:

Article