13630 results in The Journal of Symbolic Logic
THE ${\text{\Sigma }}_1 $-PROVABILITY LOGIC OF $HA^{\text{*}} $
-
- Journal:
- The Journal of Symbolic Logic / Volume 84 / Issue 3 / September 2019
- Published online by Cambridge University Press:
- 12 July 2019, pp. 1118-1135
- Print publication:
- September 2019
-
- Article
- Export citation
WEAK SATURATION AND WEAK AMALGAMATION PROPERTY
-
- Journal:
- The Journal of Symbolic Logic / Volume 84 / Issue 3 / September 2019
- Published online by Cambridge University Press:
- 04 July 2019, pp. 929-936
- Print publication:
- September 2019
-
- Article
- Export citation
ON THE NUMBER OF COUNTABLE MODELS OF A COUNTABLE NSOP1 THEORY WITHOUT WEIGHT ω
-
- Journal:
- The Journal of Symbolic Logic / Volume 84 / Issue 3 / September 2019
- Published online by Cambridge University Press:
- 02 July 2019, pp. 1168-1175
- Print publication:
- September 2019
-
- Article
- Export citation
UNCOUNTABLE TREES AND COHEN $\kappa$-REALS
-
- Journal:
- The Journal of Symbolic Logic / Volume 84 / Issue 3 / September 2019
- Published online by Cambridge University Press:
- 02 July 2019, pp. 877-894
- Print publication:
- September 2019
-
- Article
- Export citation
JOINT DIAMONDS AND LAVER DIAMONDS
-
- Journal:
- The Journal of Symbolic Logic / Volume 84 / Issue 3 / September 2019
- Published online by Cambridge University Press:
- 13 June 2019, pp. 895-928
- Print publication:
- September 2019
-
- Article
- Export citation
THE GAME OPERATOR ACTING ON WADGE CLASSES OF BOREL SETS
-
- Journal:
- The Journal of Symbolic Logic / Volume 84 / Issue 3 / September 2019
- Published online by Cambridge University Press:
- 13 June 2019, pp. 1224-1239
- Print publication:
- September 2019
-
- Article
- Export citation
ON ISOMORPHISM CLASSES OF COMPUTABLY ENUMERABLE EQUIVALENCE RELATIONS
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 1 / March 2020
- Published online by Cambridge University Press:
- 13 June 2019, pp. 61-86
- Print publication:
- March 2020
-
- Article
- Export citation
LOCAL KEISLER MEASURES AND NIP FORMULAS
-
- Journal:
- The Journal of Symbolic Logic / Volume 84 / Issue 3 / September 2019
- Published online by Cambridge University Press:
- 10 June 2019, pp. 1279-1292
- Print publication:
- September 2019
-
- Article
- Export citation
THE IMPLICITLY CONSTRUCTIBLE UNIVERSE
-
- Journal:
- The Journal of Symbolic Logic / Volume 84 / Issue 4 / December 2019
- Published online by Cambridge University Press:
- 10 June 2019, pp. 1403-1421
- Print publication:
- December 2019
-
- Article
- Export citation
THE FLUTED FRAGMENT REVISITED
-
- Journal:
- The Journal of Symbolic Logic / Volume 84 / Issue 3 / September 2019
- Published online by Cambridge University Press:
- 06 June 2019, pp. 1020-1048
- Print publication:
- September 2019
-
- Article
- Export citation
A GAME CHARACTERIZING BAIRE CLASS 1 FUNCTIONS
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 1 / March 2020
- Published online by Cambridge University Press:
- 06 June 2019, pp. 456-466
- Print publication:
- March 2020
-
- Article
- Export citation
JSL volume 84 issue 2 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 84 / Issue 2 / June 2019
- Published online by Cambridge University Press:
- 11 June 2019, pp. f1-f3
- Print publication:
- June 2019
-
- Article
-
- You have access
- Export citation
JSL volume 84 issue 2 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 84 / Issue 2 / June 2019
- Published online by Cambridge University Press:
- 11 June 2019, pp. b1-b2
- Print publication:
- June 2019
-
- Article
-
- You have access
- Export citation
A CORRECT POLYNOMIAL TRANSLATION OF S4 INTO INTUITIONISTIC LOGIC
-
- Journal:
- The Journal of Symbolic Logic / Volume 84 / Issue 2 / June 2019
- Published online by Cambridge University Press:
- 11 June 2019, pp. 439-451
- Print publication:
- June 2019
-
- Article
- Export citation
ON THE COMMUTATIVITY OF PULL-BACK AND PUSH-FORWARD FUNCTORS ON MOTIVIC CONSTRUCTIBLE FUNCTIONS
-
- Journal:
- The Journal of Symbolic Logic / Volume 84 / Issue 3 / September 2019
- Published online by Cambridge University Press:
- 14 May 2019, pp. 1252-1278
- Print publication:
- September 2019
-
- Article
- Export citation
INTERPRETING ARITHMETIC IN THE FIRST-ORDER THEORY OF ADDITION AND COPRIMALITY OF POLYNOMIAL RINGS
-
- Journal:
- The Journal of Symbolic Logic / Volume 84 / Issue 3 / September 2019
- Published online by Cambridge University Press:
- 09 May 2019, pp. 1194-1214
- Print publication:
- September 2019
-
- Article
- Export citation
COHERENT EXTENSION OF PARTIAL AUTOMORPHISMS, FREE AMALGAMATION AND AUTOMORPHISM GROUPS
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 1 / March 2020
- Published online by Cambridge University Press:
- 06 May 2019, pp. 199-223
- Print publication:
- March 2020
-
- Article
- Export citation
PROJECTIVE CLONE HOMOMORPHISMS
- Part of:
-
- Journal:
- The Journal of Symbolic Logic / Volume 86 / Issue 1 / March 2021
- Published online by Cambridge University Press:
- 03 May 2019, pp. 148-161
- Print publication:
- March 2021
-
- Article
- Export citation
COUNTABLE MODELS OF THE THEORIES OF BALDWIN–SHI HYPERGRAPHS AND THEIR REGULAR TYPES
-
- Journal:
- The Journal of Symbolic Logic / Volume 84 / Issue 3 / September 2019
- Published online by Cambridge University Press:
- 29 April 2019, pp. 1007-1019
- Print publication:
- September 2019
-
- Article
- Export citation
AUTOMATIC AND POLYNOMIAL-TIME ALGEBRAIC STRUCTURES
-
- Journal:
- The Journal of Symbolic Logic / Volume 84 / Issue 4 / December 2019
- Published online by Cambridge University Press:
- 29 April 2019, pp. 1630-1669
- Print publication:
- December 2019
-
- Article
- Export citation