13630 results in The Journal of Symbolic Logic
N-BERKELEY CARDINALS AND WEAK EXTENDER MODELS
- Part of:
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 2 / June 2020
- Published online by Cambridge University Press:
- 21 July 2020, pp. 809-816
- Print publication:
- June 2020
-
- Article
- Export citation
HOMOGENEOUS STRUCTURES WITH NONUNIVERSAL AUTOMORPHISM GROUPS
- Part of:
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 2 / June 2020
- Published online by Cambridge University Press:
- 22 June 2020, pp. 817-827
- Print publication:
- June 2020
-
- Article
- Export citation
THE KETONEN ORDER
- Part of:
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 2 / June 2020
- Published online by Cambridge University Press:
- 18 June 2020, pp. 585-604
- Print publication:
- June 2020
-
- Article
- Export citation
EXACT COMPLETION AND CONSTRUCTIVE THEORIES OF SETS
- Part of:
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 2 / June 2020
- Published online by Cambridge University Press:
- 18 June 2020, pp. 563-584
- Print publication:
- June 2020
-
- Article
-
- You have access
- Open access
- Export citation
FIRST-ORDER RECOGNIZABILITY IN FINITE AND PSEUDOFINITE GROUPS
- Part of:
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 2 / June 2020
- Published online by Cambridge University Press:
- 20 July 2020, pp. 852-867
- Print publication:
- June 2020
-
- Article
- Export citation
HOW STRONG ARE SINGLE FIXED POINTS OF NORMAL FUNCTIONS?
- Part of:
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 2 / June 2020
- Published online by Cambridge University Press:
- 20 July 2020, pp. 709-732
- Print publication:
- June 2020
-
- Article
- Export citation
EQUATIONAL THEORIES OF FIELDS
- Part of:
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 2 / June 2020
- Published online by Cambridge University Press:
- 15 July 2020, pp. 828-851
- Print publication:
- June 2020
-
- Article
- Export citation
JSL volume 85 issue 2 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 2 / June 2020
- Published online by Cambridge University Press:
- 27 January 2021, pp. f1-f3
- Print publication:
- June 2020
-
- Article
-
- You have access
- Export citation
THE COMPLEXITY OF HOMEOMORPHISM RELATIONS ON SOME CLASSES OF COMPACTA
- Part of:
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 2 / June 2020
- Published online by Cambridge University Press:
- 18 June 2020, pp. 733-748
- Print publication:
- June 2020
-
- Article
- Export citation
CODING IN GRAPHS AND LINEAR ORDERINGS
- Part of:
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 2 / June 2020
- Published online by Cambridge University Press:
- 18 June 2020, pp. 673-690
- Print publication:
- June 2020
-
- Article
- Export citation
ON OBDD-BASED ALGORITHMS AND PROOF SYSTEMS THAT DYNAMICALLY CHANGE THE ORDER OF VARIABLES
- Part of:
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 2 / June 2020
- Published online by Cambridge University Press:
- 22 June 2020, pp. 632-670
- Print publication:
- June 2020
-
- Article
- Export citation
JSL volume 85 issue 2 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 2 / June 2020
- Published online by Cambridge University Press:
- 27 January 2021, pp. b1-b2
- Print publication:
- June 2020
-
- Article
-
- You have access
- Export citation
A REFINEMENT OF THE RAMSEY HIERARCHY VIA INDESCRIBABILITY
- Part of:
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 2 / June 2020
- Published online by Cambridge University Press:
- 22 June 2020, pp. 773-808
- Print publication:
- June 2020
-
- Article
- Export citation
ON CONFIGURATIONS CONCERNING CARDINAL CHARACTERISTICS AT REGULAR CARDINALS
- Part of:
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 2 / June 2020
- Published online by Cambridge University Press:
- 10 July 2020, pp. 691-708
- Print publication:
- June 2020
-
- Article
- Export citation
THE EXPONENTIAL DIOPHANTINE PROBLEM FOR ${\mathbb {Q}}$
- Part of:
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 2 / June 2020
- Published online by Cambridge University Press:
- 21 July 2020, pp. 671-672
- Print publication:
- June 2020
-
- Article
- Export citation
COMPUTABLE LINEAR ORDERS AND PRODUCTS
- Part of:
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 2 / June 2020
- Published online by Cambridge University Press:
- 20 July 2020, pp. 605-623
- Print publication:
- June 2020
-
- Article
- Export citation
DECIDING SOME MALTSEV CONDITIONS IN FINITE IDEMPOTENT ALGEBRAS
- Part of:
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 2 / June 2020
- Published online by Cambridge University Press:
- 16 June 2020, pp. 539-562
- Print publication:
- June 2020
-
- Article
- Export citation
VOICULESCU’S THEOREM FOR NONSEPARABLE $\text{C}^{\ast} $ -ALGEBRAS
- Part of:
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 2 / June 2020
- Published online by Cambridge University Press:
- 20 July 2020, pp. 624-631
- Print publication:
- June 2020
-
- Article
-
- You have access
- Open access
- Export citation
JSL volume 85 issue 1 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 1 / March 2020
- Published online by Cambridge University Press:
- 15 April 2020, pp. b1-b2
- Print publication:
- March 2020
-
- Article
-
- You have access
- Export citation
JSL volume 85 issue 1 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 1 / March 2020
- Published online by Cambridge University Press:
- 15 April 2020, pp. f1-f4
- Print publication:
- March 2020
-
- Article
-
- You have access
- Export citation