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

Results: 26

JSL volume 85 issue 1 Cover and Back matter.

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

JSL volume 85 issue 1 Cover and Front matter.

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

TWO NEW SERIES OF PRINCIPLES IN THE INTERPRETABILITY LOGIC OF ALL REASONABLE ARITHMETICAL THEORIES.

Published in:

Journal of Symbolic Logic, 2020, v. 85, n. 1, p. 1, doi. 10.1017/jsl.2019.90

By:

GORIS, EVAN;
JOOSTEN, JOOST J.

Publication type:

Article

EHRENFEUCHT-FRAÏSSÉ GAMES ON A CLASS OF SCATTERED LINEAR ORDERS.

Published in:

Journal of Symbolic Logic, 2020, v. 85, n. 1, p. 37, doi. 10.1017/jsl.2019.85

By:

MWESIGYE, FERESIANO;
TRUSS, JOHN KENNETH

Publication type:

Article

ON THE EXISTENCE OF LARGE ANTICHAINS FOR DEFINABLE QUASI-ORDERS.

Published in:

Journal of Symbolic Logic, 2020, v. 85, n. 1, p. 103, doi. 10.1017/jsl.2019.84

By:

MILLER, BENJAMIN D.;
VIDNYÁNSZKY, ZOLTÁN

Publication type:

Article

PREDICATIVE COLLAPSING PRINCIPLES.

Published in:

Journal of Symbolic Logic, 2020, v. 85, n. 1, p. 511, doi. 10.1017/jsl.2019.83

By:

FREUND, ANTON

Publication type:

Article

ASSIGNING AN ISOMORPHISM TYPE TO A HYPERDEGREE.

Published in:

Journal of Symbolic Logic, 2020, v. 85, n. 1, p. 325, doi. 10.1017/jsl.2019.81

By:

BECKER, HOWARD

Publication type:

Article

SLOW P -POINT ULTRAFILTERS.

Published in:

Journal of Symbolic Logic, 2020, v. 85, n. 1, p. 26, doi. 10.1017/jsl.2019.79

By:

JIN, RENLING

Publication type:

Article

THE CONSISTENCY STRENGTH OF LONG PROJECTIVE DETERMINACY.

Published in:

Journal of Symbolic Logic, 2020, v. 85, n. 1, p. 338, doi. 10.1017/jsl.2019.78

By:

AGUILERA, JUAN P.;
MÜLLER, SANDRA

Publication type:

Article

A MINIMAL PAIR IN THE GENERIC DEGREES.

Published in:

Journal of Symbolic Logic, 2020, v. 85, n. 1, p. 531, doi. 10.1017/jsl.2019.77

By:

HIRSCHFELDT, DENIS R.

Publication type:

Article

RESTRICTED MAD FAMILIES.

Published in:

Journal of Symbolic Logic, 2020, v. 85, n. 1, p. 149, doi. 10.1017/jsl.2019.76

By:

GUZMÁN, OSVALDO;
HRUŠÁK, MICHAEL;
TÉLLEZ, OSVALDO

Publication type:

Article

FACTORIALS OF INFINITE CARDINALS IN ZF PART II: CONSISTENCY RESULTS.

Published in:

Journal of Symbolic Logic, 2020, v. 85, n. 1, p. 244, doi. 10.1017/jsl.2019.75

By:

SHEN, GUOZHEN;
YUAN, JIACHEN

Publication type:

Article

FACTORIALS OF INFINITE CARDINALS IN ZF PART I: ZF RESULTS.

Published in:

Journal of Symbolic Logic, 2020, v. 85, n. 1, p. 224, doi. 10.1017/jsl.2019.74

By:

SHEN, GUOZHEN;
YUAN, JIACHEN

Publication type:

Article

THE WADGE ORDER ON THE SCOTT DOMAIN IS NOT A WELL-QUASI-ORDER.

Published in:

Journal of Symbolic Logic, 2020, v. 85, n. 1, p. 300, doi. 10.1017/jsl.2019.51

By:

DUPARC, JACQUES;
VUILLEUMIER, LOUIS

Publication type:

Article

INDESTRUCTIBILITY OF THE TREE PROPERTY.

Published in:

Journal of Symbolic Logic, 2020, v. 85, n. 1, p. 467, doi. 10.1017/jsl.2019.61

By:

HONZIK, RADEK;
STEJSKALOVÁ, ŠÁRKA

Publication type:

Article

CHAITIN'S Ω AS A CONTINUOUS FUNCTION.

Published in:

Journal of Symbolic Logic, 2020, v. 85, n. 1, p. 486, doi. 10.1017/jsl.2019.60

By:

HÖLZL, RUPERT;
MERKLE, WOLFGANG;
MILLER, JOSEPH;
STEPHAN, FRANK;
YU, LIANG

Publication type:

Article

FORCING AND THE HALPERN–LÄUCHLI THEOREM.

Published in:

Journal of Symbolic Logic, 2020, v. 85, n. 1, p. 87, doi. 10.1017/jsl.2019.59

By:

DOBRINEN, NATASHA;
HATHAWAY, DANIEL

Publication type:

Article

HAMEL SPACES AND DISTAL EXPANSIONS.

Published in:

Journal of Symbolic Logic, 2020, v. 85, n. 1, p. 422, doi. 10.1017/jsl.2019.54

By:

GEHRET, ALLEN;
NELL, TRAVIS

Publication type:

Article

THE DETERMINED PROPERTY OF BAIRE IN REVERSE MATH.

Published in:

Journal of Symbolic Logic, 2020, v. 85, n. 1, p. 166, doi. 10.1017/jsl.2019.64

By:

ASTOR, ERIC P.;
DZHAFAROV, DAMIR;
MONTALBÁN, ANTONIO;
SOLOMON, REED;
WESTRICK, LINDA BROWN

Publication type:

Article

RANDOMNESS NOTIONS AND REVERSE MATHEMATICS.

Published in:

Journal of Symbolic Logic, 2020, v. 85, n. 1, p. 271, doi. 10.1017/jsl.2019.50

By:

NIES, ANDRÉ;
SHAFER, PAUL

Publication type:

Article

MULTIPLE CHOICES IMPLY THE INGLETON AND KREIN–MILMAN AXIOMS.

Published in:

Journal of Symbolic Logic, 2020, v. 85, n. 1, p. 439, doi. 10.1017/jsl.2019.48

By:

MORILLON, MARIANNE

Publication type:

Article

ON ISOMORPHISM CLASSES OF COMPUTABLY ENUMERABLE EQUIVALENCE RELATIONS.

Published in:

Journal of Symbolic Logic, 2020, v. 85, n. 1, p. 61, doi. 10.1017/jsl.2019.39

By:

ANDREWS, URI;
BADAEV, SERIKZHAN A.

Publication type:

Article

A GAME CHARACTERIZING BAIRE CLASS 1 FUNCTIONS.

Published in:

Journal of Symbolic Logic, 2020, v. 85, n. 1, p. 456, doi. 10.1017/jsl.2019.38

By:

KISS, VIKTOR

Publication type:

Article

COHERENT EXTENSION OF PARTIAL AUTOMORPHISMS, FREE AMALGAMATION AND AUTOMORPHISM GROUPS.

Published in:

Journal of Symbolic Logic, 2020, v. 85, n. 1, p. 199, doi. 10.1017/jsl.2019.32

By:

SINIORA, DAOUD;
SOLECKI, SŁAWOMIR

Publication type:

Article

TRUTH AND FEASIBLE REDUCIBILITY.

Published in:

Journal of Symbolic Logic, 2020, v. 85, n. 1, p. 367, doi. 10.1017/jsl.2019.24

By:

ENAYAT, ALI;
ŁEŁYK, MATEUSZ;
WCISŁO, BARTOSZ

Publication type:

Article

CHOICE-FREE STONE DUALITY.

Published in:

Journal of Symbolic Logic, 2020, v. 85, n. 1, p. 109, doi. 10.1017/jsl.2019.11

By:

BEZHANISHVILI, NICK;
HOLLIDAY, WESLEY H.

Publication type:

Article