Works matching IS 00224812 AND DT 2020 AND VI 85 AND IP 2

Results: 18

JSL volume 85 issue 2 Cover and Back matter.

Published in:: Journal of Symbolic Logic, 2020, v. 85, n. 2, p. b1, doi. 10.1017/jsl.2020.79
Publication type:: Article

JSL volume 85 issue 2 Cover and Front matter.

Published in:: Journal of Symbolic Logic, 2020, v. 85, n. 2, p. f1, doi. 10.1017/jsl.2020.78
Publication type:: Article

HOW STRONG ARE SINGLE FIXED POINTS OF NORMAL FUNCTIONS?

Published in:

Journal of Symbolic Logic, 2020, v. 85, n. 2, p. 709, doi. 10.1017/jsl.2020.24

By:

FREUND, ANTON

Publication type:

Article

VOICULESCU'S THEOREM FOR NONSEPARABLE C*-ALGEBRAS.

Published in:

Journal of Symbolic Logic, 2020, v. 85, n. 2, p. 624, doi. 10.1017/jsl.2020.22

By:

VACCARO, ANDREA

Publication type:

Article

N -BERKELEY CARDINALS AND WEAK EXTENDER MODELS.

Published in:

Journal of Symbolic Logic, 2020, v. 85, n. 2, p. 809, doi. 10.1017/jsl.2020.21

By:

CUTOLO, RAFFAELLA

Publication type:

Article

THE EXPONENTIAL DIOPHANTINE PROBLEM FOR Q.

Published in:

Journal of Symbolic Logic, 2020, v. 85, n. 2, p. 671, doi. 10.1017/jsl.2020.18

By:

PRUNESCU, MIHAI

Publication type:

Article

COMPUTABLE LINEAR ORDERS AND PRODUCTS.

Published in:

Journal of Symbolic Logic, 2020, v. 85, n. 2, p. 605, doi. 10.1017/jsl.2020.17

By:

FROLOV, ANDREY N.;
LEMPP, STEFFEN;
NG, KENG MENG;
WU, GUOHUA

Publication type:

Article

FIRST-ORDER RECOGNIZABILITY IN FINITE AND PSEUDOFINITE GROUPS.

Published in:

Journal of Symbolic Logic, 2020, v. 85, n. 2, p. 852, doi. 10.1017/jsl.2020.14

By:

CORNULIER, YVES;
WILSON, JOHN S.

Publication type:

Article

EQUATIONAL THEORIES OF FIELDS.

Published in:

Journal of Symbolic Logic, 2020, v. 85, n. 2, p. 828, doi. 10.1017/jsl.2020.13

By:

MARTIN-PIZARRO, AMADOR;
ZIEGLER, MARTIN

Publication type:

Article

HOMOGENEOUS STRUCTURES WITH NONUNIVERSAL AUTOMORPHISM GROUPS.

Published in:

Journal of Symbolic Logic, 2020, v. 85, n. 2, p. 817, doi. 10.1017/jsl.2020.10

By:

KUBIŚ, WIESŁAW;
SHELAH, SAHARON

Publication type:

Article

INTERPRETABILITY LOGICS AND GENERALISED VELTMAN SEMANTICS.

Published in:

Journal of Symbolic Logic, 2020, v. 85, n. 2, p. 749, doi. 10.1017/jsl.2020.7

By:

MIKEC, LUKA;
VUKOVIĆ, MLADEN

Publication type:

Article

THE KETONEN ORDER.

Published in:

Journal of Symbolic Logic, 2020, v. 85, n. 2, p. 585, doi. 10.1017/jsl.2020.5

By:

GOLDBERG, GABRIEL

Publication type:

Article

THE COMPLEXITY OF HOMEOMORPHISM RELATIONS ON SOME CLASSES OF COMPACTA.

Published in:

Journal of Symbolic Logic, 2020, v. 85, n. 2, p. 733, doi. 10.1017/jsl.2020.3

By:

KRUPSKI, PAWEŁ;
VEJNAR, BENJAMIN

Publication type:

Article

EXACT COMPLETION AND CONSTRUCTIVE THEORIES OF SETS.

Published in:

Journal of Symbolic Logic, 2020, v. 85, n. 2, p. 563, doi. 10.1017/jsl.2020.2

By:

EMMENEGGER, JACOPO;
PALMGREN, ERIK

Publication type:

Article

CODING IN GRAPHS AND LINEAR ORDERINGS.

Published in:

Journal of Symbolic Logic, 2020, v. 85, n. 2, p. 673, doi. 10.1017/jsl.2019.91

By:

KNIGHT, JULIA F.;
SOSKOVA, ALEXANDRA A.;
VATEV, STEFAN V.

Publication type:

Article

ON CONFIGURATIONS CONCERNING CARDINAL CHARACTERISTICS AT REGULAR CARDINALS.

Published in:

Journal of Symbolic Logic, 2020, v. 85, n. 2, p. 691, doi. 10.1017/jsl.2019.80

By:

BEN-NERIA, OMER;
GARTI, SHIMON

Publication type:

Article

DECIDING SOME MALTSEV CONDITIONS IN FINITE IDEMPOTENT ALGEBRAS.

Published in:

Journal of Symbolic Logic, 2020, v. 85, n. 2, p. 539, doi. 10.1017/jsl.2019.73

By:

KAZDA, ALEXANDR;
VALERIOTE, MATT

Publication type:

Article

ON OBDD-BASED ALGORITHMS AND PROOF SYSTEMS THAT DYNAMICALLY CHANGE THE ORDER OF VARIABLES.

Published in:

Journal of Symbolic Logic, 2020, v. 85, n. 2, p. 632, doi. 10.1017/jsl.2019.53

By:

ITSYKSON, DMITRY;
KNOP, ALEXANDER;
ROMASHCHENKO, ANDREI;
SOKOLOV, DMITRY

Publication type:

Article