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

Results: 18

JSL volume 85 issue 4 Cover and Back matter.

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

JSL volume 85 issue 4 Cover and Front matter.

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

LIFSCHITZ REALIZABILITY AS A TOPOLOGICAL CONSTRUCTION.

Published in:

Journal of Symbolic Logic, 2020, v. 85, n. 4, p. 1342, doi. 10.1017/jsl.2021.1

By:

RATHJEN, MICHAEL;
SWAN, ANDREW W.

Publication type:

Article

WEIHRAUCH GOES BROUWERIAN.

Published in:

Journal of Symbolic Logic, 2020, v. 85, n. 4, p. 1614, doi. 10.1017/jsl.2020.76

By:

BRATTKA, VASCO;
GHERARDI, GUIDO

Publication type:

Article

THE KIM–PILLAY THEOREM FOR ABSTRACT ELEMENTARY CATEGORIES.

Published in:

Journal of Symbolic Logic, 2020, v. 85, n. 4, p. 1717, doi. 10.1017/jsl.2020.75

By:

KAMSMA, MARK

Publication type:

Article

AROUND RUBIN'S "THEORIES OF LINEAR ORDER".

Published in:

Journal of Symbolic Logic, 2020, v. 85, n. 4, p. 1403, doi. 10.1017/jsl.2020.68

By:

TANOVIĆ, PREDRAG;
MOCONJA, SLAVKO;
ILIĆ, DEJAN

Publication type:

Article

COMPUTABILITY OF POLISH SPACES UP TO HOMEOMORPHISM.

Published in:

Journal of Symbolic Logic, 2020, v. 85, n. 4, p. 1664, doi. 10.1017/jsl.2020.67

By:

HARRISON-TRAINOR, MATTHEW;
MELNIKOV, ALEXANDER;
MENG NG, KENG

Publication type:

Article

ELEMENTARY EQUIVALENCE THEOREM FOR PAC STRUCTURES.

Published in:

Journal of Symbolic Logic, 2020, v. 85, n. 4, p. 1467, doi. 10.1017/jsl.2020.61

By:

DOBROWOLSKI, JAN;
HOFFMANN, DANIEL MAX;
LEE, JUNGUK

Publication type:

Article

SELF-REFERENTIAL THEORIES.

Published in:

Journal of Symbolic Logic, 2020, v. 85, n. 4, p. 1687, doi. 10.1017/jsl.2020.54

By:

ALEXANDER, SAMUEL A.

Publication type:

Article

PUNCTUAL CATEGORICITY AND UNIVERSALITY.

Published in:

Journal of Symbolic Logic, 2020, v. 85, n. 4, p. 1427, doi. 10.1017/jsl.2020.51

By:

DOWNEY, ROD;
GREENBERG, NOAM;
MELNIKOV, ALEXANDER;
MENG NG, KENG;
TURETSKY, DANIEL

Publication type:

Article

UNIFORM DEFINABILITY OF INTEGERS IN REDUCED INDECOMPOSABLE POLYNOMIAL RINGS.

Published in:

Journal of Symbolic Logic, 2020, v. 85, n. 4, p. 1376, doi. 10.1017/jsl.2020.50

By:

BARONE, MARCO;
CARO, NICOLÁS;
NAZIAZENO, EUDES

Publication type:

Article

A SCHEMATIC DEFINITION OF QUANTUM POLYNOMIAL TIME COMPUTABILITY.

Published in:

Journal of Symbolic Logic, 2020, v. 85, n. 4, p. 1546, doi. 10.1017/jsl.2020.45

By:

YAMAKAMI, TOMOYUKI

Publication type:

Article

THE FUNDAMENTAL THEOREM OF CENTRAL ELEMENT THEORY.

Published in:

Journal of Symbolic Logic, 2020, v. 85, n. 4, p. 1599, doi. 10.1017/jsl.2020.41

By:

BADANO, MARIANA VANESA;
VAGGIONE, DIEGO JOSE

Publication type:

Article

MULTIDIMENSIONAL EXACT CLASSES, SMOOTH APPROXIMATION AND BOUNDED 4-TYPES.

Published in:

Journal of Symbolic Logic, 2020, v. 85, n. 4, p. 1305, doi. 10.1017/jsl.2020.37

By:

WOLF, DANIEL

Publication type:

Article

CUPPING AND JUMP CLASSES IN THE COMPUTABLY ENUMERABLE DEGREES.

Published in:

Journal of Symbolic Logic, 2020, v. 85, n. 4, p. 1499, doi. 10.1017/jsl.2020.36

By:

GREENBERG, NOAM;
MENG NG, KENG;
WU, GUOHUA

Publication type:

Article

COMPUTABILITY, ORDERS, AND SOLVABLE GROUPS.

Published in:

Journal of Symbolic Logic, 2020, v. 85, n. 4, p. 1588, doi. 10.1017/jsl.2020.34

By:

DARBINYAN, ARMAN

Publication type:

Article

DIMENSION INEQUALITY FOR A DEFINABLY COMPLETE UNIFORMLY LOCALLY O-MINIMAL STRUCTURE OF THE SECOND KIND.

Published in:

Journal of Symbolic Logic, 2020, v. 85, n. 4, p. 1654, doi. 10.1017/jsl.2020.31

By:

FUJITA, MASATO

Publication type:

Article

A METRIC VERSION OF SCHLICHTING'S THEOREM.

Published in:

Journal of Symbolic Logic, 2020, v. 85, n. 4, p. 1607, doi. 10.1017/jsl.2020.29

By:

YAACOV, ITAÏ BEN;
WAGNER, FRANK O.

Publication type:

Article