Works matching IS 00224812 AND DT 2016 AND VI 81 AND IP 2

Results: 23

JSL volume 81 issue 2 Cover and Back matter.

Published in:: Journal of Symbolic Logic, 2016, v. 81, n. 2, p. b1, doi. 10.1017/jsl.2016.31
Publication type:: Article

JSL volume 81 issue 2 Cover and Front matter.

Published in:: 2016
Publication type:: Cover Art

FRAÏSSÉ LIMITS OF C*-ALGEBRAS.

Published in:

Journal of Symbolic Logic, 2016, v. 81, n. 2, p. 755, doi. 10.1017/jsl.2016.14

By:

EAGLE, CHRISTOPHER J.;
FARAH, ILIJAS;
HART, BRADD;
KADETS, BORIS;
KALASHNYK, VLADYSLAV;
LUPINI, MARTINO

Publication type:

Article

NOTES ON EXTREMAL AND TAME VALUED FIELDS.

Published in:

Journal of Symbolic Logic, 2016, v. 81, n. 2, p. 400, doi. 10.1017/jsl.2016.6

By:

ANSCOMBE, SYLVY;
KUHLMANN, FRANZ-VIKTOR

Publication type:

Article

THE MODEL COMPANION OF DIFFERENTIAL FIELDS WITH FREE OPERATORS.

Published in:

Journal of Symbolic Logic, 2016, v. 81, n. 2, p. 493, doi. 10.1017/jsl.2015.76

By:

SÁNCHEZ, OMAR LEÓN;
MOOSA, RAHIM

Publication type:

Article

SMALL UNIVERSAL FAMILIES OF GRAPHS ON ℵω + 1.

Published in:

Journal of Symbolic Logic, 2016, v. 81, n. 2, p. 541, doi. 10.1017/jsl.2015.65

By:

CUMMINGS, JAMES;
DŽAMONJA, MIRNA;
MORGAN, CHARLES

Publication type:

Article

WEAK DISTRIBUTIVITY IMPLYING DISTRIBUTIVITY.

Published in:

Journal of Symbolic Logic, 2016, v. 81, n. 2, p. 711, doi. 10.1017/jsl.2015.63

By:

HATHAWAY, DAN

Publication type:

Article

STRONGLY MINIMAL REDUCTS OF VALUED FIELDS.

Published in:

Journal of Symbolic Logic, 2016, v. 81, n. 2, p. 510, doi. 10.1017/jsl.2015.61

By:

KOWALSKI, PIOTR;
RANDRIAMBOLOLONA, SERGE

Publication type:

Article

ON THE SYMBIOSIS BETWEEN MODEL-THEORETIC AND SET-THEORETIC PROPERTIES OF LARGE CARDINALS.

Published in:

Journal of Symbolic Logic, 2016, v. 81, n. 2, p. 584, doi. 10.1017/jsl.2015.60

By:

BAGARIA, JOAN;
VÄÄNÄNEN, JOUKO

Publication type:

Article

QUANTUM LOGIC ASSOCIATED TO FINITE DIMENSIONAL INTERVALS OF MODULAR ORTHOLATTICES.

Published in:

Journal of Symbolic Logic, 2016, v. 81, n. 2, p. 629, doi. 10.1017/jsl.2015.58

By:

GIUNTINI, R.;
FREYTES, H.;
SERGIOLI, G.

Publication type:

Article

INDEFINITENESS IN SEMI-INTUITIONISTIC SET THEORIES: ON A CONJECTURE OF FEFERMAN.

Published in:

Journal of Symbolic Logic, 2016, v. 81, n. 2, p. 742, doi. 10.1017/jsl.2015.55

By:

RATHJEN, MICHAEL

Publication type:

Article

THE HANF NUMBER FOR AMALGAMATION OF COLORING CLASSES.

Published in:

Journal of Symbolic Logic, 2016, v. 81, n. 2, p. 570, doi. 10.1017/jsl.2015.48

By:

KOLESNIKOV, ALEXEI;
LAMBIE-HANSON, CHRIS

Publication type:

Article

THE TOPOLOGICAL PIGEONHOLE PRINCIPLE FOR ORDINALS.

Published in:

Journal of Symbolic Logic, 2016, v. 81, n. 2, p. 662, doi. 10.1017/jsl.2015.45

By:

HILTON, JACOB

Publication type:

Article

COMPATIBILITY OPERATORS IN ABSTRACT ALGEBRAIC LOGIC.

Published in:

Journal of Symbolic Logic, 2016, v. 81, n. 2, p. 417, doi. 10.1017/jsl.2015.39

By:

ALBUQUERQUE, HUGO;
FONT, JOSEP MARIA;
JANSANA, RAMON

Publication type:

Article

A RAMSEY THEOREM ON SEMIGROUPS AND A GENERAL VAN DER CORPUT LEMMA.

Published in:

Journal of Symbolic Logic, 2016, v. 81, n. 2, p. 718, doi. 10.1017/jsl.2015.37

By:

TSERUNYAN, ANUSH

Publication type:

Article

EXISTENTIALLY CLOSED MODELS IN THE FRAMEWORK OF ARITHMETIC.

Published in:

Journal of Symbolic Logic, 2016, v. 81, n. 2, p. 774, doi. 10.1017/jsl.2015.36

By:

ADAMOWICZ, ZOFIA;
CORDÓN-FRANCO, ANDRÉS;
LARA-MARTÍN, F. FÉLIX

Publication type:

Article

FRAGMENTS OF FREGE’S GRUNDGESETZE AND GÖDEL’S CONSTRUCTIBLE UNIVERSE.

Published in:

Journal of Symbolic Logic, 2016, v. 81, n. 2, p. 605, doi. 10.1017/jsl.2015.32

By:

WALSH, SEAN

Publication type:

Article

FULL LAMBEK CALCULUS WITH CONTRACTION IS UNDECIDABLE.

Published in:

Journal of Symbolic Logic, 2016, v. 81, n. 2, p. 524, doi. 10.1017/jsl.2015.18

By:

CHVALOVSKÝ, KAREL;
HORČÍK, ROSTISLAV

Publication type:

Article

QUASIPOLYNOMIAL SIZE FREGE PROOFS OF FRANKL’S THEOREM ON THE TRACE OF SETS.

Published in:

Journal of Symbolic Logic, 2016, v. 81, n. 2, p. 687, doi. 10.1017/jsl.2015.17

By:

AISENBERG, JAMES;
BONET, MARIA LUISA;
BUSS, SAM

Publication type:

Article

PRESERVATION OF SUSLIN TREES AND SIDE CONDITIONS.

Published in:

Journal of Symbolic Logic, 2016, v. 81, n. 2, p. 483, doi. 10.1017/jsl.2015.14

By:

VENTURI, GIORGIO

Publication type:

Article

LINEAR ORDERS REALIZED BY C.E. EQUIVALENCE RELATIONS.

Published in:

Journal of Symbolic Logic, 2016, v. 81, n. 2, p. 463, doi. 10.1017/jsl.2015.11

By:

FOKINA, EKATERINA;
KHOUSSAINOV, BAKHADYR;
SEMUKHIN, PAVEL;
TURETSKY, DANIEL

Publication type:

Article

IMPLICATIONAL RELEVANCE LOGIC IS 2-EXPTIME-COMPLETE.

Published in:

Journal of Symbolic Logic, 2016, v. 81, n. 2, p. 641, doi. 10.1017/jsl.2015.7

By:

SCHMITZ, SYLVAIN

Publication type:

Article

ISOMORPHISM ON HYP.

Published in:

Journal of Symbolic Logic, 2016, v. 81, n. 2, p. 395, doi. 10.1017/jsl.2014.70

By:

FRIEDMAN, SY-DAVID

Publication type:

Article