Volume 81; Issue 2

Journal of Symbolic Logic

Volume 81; Issue 2
1

COMPATIBILITY OPERATORS IN ABSTRACT ALGEBRAIC LOGIC

ALBUQUERQUE, HUGO, FONT, JOSEP MARIA, JANSANA, RAMON
Journal:
Journal of Symbolic Logic
Year:
2016
Language:
english
File:
PDF, 605 KB
english, 2016
2

IMPLICATIONAL RELEVANCE LOGIC IS 2-EXPTIME-COMPLETE

SCHMITZ, SYLVAIN
Journal:
Journal of Symbolic Logic
Year:
2016
Language:
english
File:
PDF, 619 KB
english, 2016
3

FULL LAMBEK CALCULUS WITH CONTRACTION IS UNDECIDABLE

CHVALOVSKÝ, KAREL, HORČÍK, ROSTISLAV
Journal:
Journal of Symbolic Logic
Year:
2016
Language:
english
File:
PDF, 237 KB
english, 2016
4

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

RATHJEN, MICHAEL
Journal:
Journal of Symbolic Logic
Year:
2016
Language:
english
File:
PDF, 195 KB
english, 2016
7

THE MODEL COMPANION OF DIFFERENTIAL FIELDS WITH FREE OPERATORS

SÁNCHEZ, OMAR LEÓN, MOOSA, RAHIM
Journal:
Journal of Symbolic Logic
Year:
2016
Language:
english
File:
PDF, 240 KB
english, 2016
9

STRONGLY MINIMAL REDUCTS OF VALUED FIELDS

KOWALSKI, PIOTR, RANDRIAMBOLOLONA, SERGE
Journal:
Journal of Symbolic Logic
Year:
2016
Language:
english
File:
PDF, 205 KB
english, 2016
11

WEAK DISTRIBUTIVITY IMPLYING DISTRIBUTIVITY

HATHAWAY, DAN
Journal:
Journal of Symbolic Logic
Year:
2016
Language:
english
File:
PDF, 124 KB
english, 2016
13

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

TSERUNYAN, ANUSH
Journal:
Journal of Symbolic Logic
Year:
2016
Language:
english
File:
PDF, 346 KB
english, 2016
14

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

WALSH, SEAN
Journal:
Journal of Symbolic Logic
Year:
2016
Language:
english
File:
PDF, 325 KB
english, 2016
15

NOTES ON EXTREMAL AND TAME VALUED FIELDS

ANSCOMBE, SYLVY, KUHLMANN, FRANZ-VIKTOR
Journal:
Journal of Symbolic Logic
Year:
2016
Language:
english
File:
PDF, 226 KB
english, 2016
16

ISOMORPHISM ON HYP

FRIEDMAN, SY-DAVID
Journal:
Journal of Symbolic Logic
Year:
2016
Language:
english
File:
PDF, 107 KB
english, 2016
17

PRESERVATION OF SUSLIN TREES AND SIDE CONDITIONS

VENTURI, GIORGIO
Journal:
Journal of Symbolic Logic
Year:
2016
Language:
english
File:
PDF, 169 KB
english, 2016
18

THE HANF NUMBER FOR AMALGAMATION OF COLORING CLASSES

KOLESNIKOV, ALEXEI, LAMBIE-HANSON, CHRIS
Journal:
Journal of Symbolic Logic
Year:
2016
Language:
english
File:
PDF, 217 KB
english, 2016
19

SMALL UNIVERSAL FAMILIES OF GRAPHS ON ℵω+ 1

CUMMINGS, JAMES, DŽAMONJA, MIRNA, MORGAN, CHARLES
Journal:
Journal of Symbolic Logic
Year:
2016
Language:
english
File:
PDF, 434 KB
english, 2016
20

THE TOPOLOGICAL PIGEONHOLE PRINCIPLE FOR ORDINALS

HILTON, JACOB
Journal:
Journal of Symbolic Logic
Year:
2016
Language:
english
File:
PDF, 310 KB
english, 2016
22

JSL volume 81 issue 2 Cover and Front matter

Journal:
Journal of Symbolic Logic
Year:
2016
Language:
english
File:
PDF, 232 KB
english, 2016
23

JSL volume 81 issue 2 Cover and Back matter

Journal:
Journal of Symbolic Logic
Year:
2016
Language:
english
File:
PDF, 193 KB
english, 2016
24

JSL volume 81 issue 2 Cover and Front matter

Journal:
Journal of Symbolic Logic
Year:
2016
File:
PDF, 232 KB
2016
25

JSL volume 81 issue 2 Cover and Back matter

Journal:
Journal of Symbolic Logic
Year:
2016
File:
PDF, 193 KB
2016