13619 results in The Journal of Symbolic Logic
ABELIAN GROUPS DEFINABLE IN p-ADICALLY CLOSED FIELDS
- Part of:
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 18 July 2023, pp. 1-22
-
- Article
- Export citation
SELF-DIVISIBLE ULTRAFILTERS AND CONGRUENCES IN $\beta {\mathbb {Z}}$
- Part of:
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 17 July 2023, pp. 1-18
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
DEDEKIND-FINITE CARDINALS HAVING COUNTABLE PARTITIONS
- Part of:
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 17 July 2023, pp. 1-16
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
CLASSICAL DETERMINATE TRUTH I
- Part of:
-
- Journal:
- The Journal of Symbolic Logic / Volume 89 / Issue 1 / March 2024
- Published online by Cambridge University Press:
- 05 July 2023, pp. 218-261
- Print publication:
- March 2024
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
ELEMENTARY EQUIVALENCE IN POSITIVE LOGIC VIA PRIME PRODUCTS
- Part of:
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 05 July 2023, pp. 1-18
-
- Article
- Export citation
COMPUTABLE VS DESCRIPTIVE COMBINATORICS OF LOCAL PROBLEMS ON TREES
- Part of:
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 04 July 2023, pp. 1-15
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
B-SYSTEMS AND C-SYSTEMS ARE EQUIVALENT
- Part of:
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 29 June 2023, pp. 1-9
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
DEFINABLE $(\omega ,2)$-THEOREM FOR FAMILIES WITH VC-CODENSITY LESS THAN $2$
- Part of:
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 29 June 2023, pp. 1-10
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
AN EGOCENTRIC LOGIC OF KNOWING HOW TO TELL THEM APART
- Part of:
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 29 June 2023, pp. 1-33
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
COMPLETE BIPARTITE PARTITION RELATIONS IN COHEN EXTENSIONS
- Part of:
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 29 June 2023, pp. 1-8
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
THE STRUCTURAL COMPLEXITY OF MODELS OF ARITHMETIC
- Part of:
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 29 June 2023, pp. 1-17
-
- Article
- Export citation
BIG IN REVERSE MATHEMATICS: THE UNCOUNTABILITY OF THE REALS
- Part of:
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 29 June 2023, pp. 1-34
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
FORCING AXIOMS AND THE DEFINABILITY OF THE NONSTATIONARY IDEAL ON THE FIRST UNCOUNTABLE
- Part of:
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 19 June 2023, pp. 1-18
-
- Article
- Export citation
THE STRENGTH OF AN AXIOM OF FINITE CHOICE FOR BRANCHES IN TREES
- Part of:
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 4 / December 2023
- Published online by Cambridge University Press:
- 14 June 2023, pp. 1367-1386
- Print publication:
- December 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
NON-TIGHTNESS IN CLASS THEORY AND SECOND-ORDER ARITHMETIC
- Part of:
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 13 June 2023, pp. 1-28
-
- Article
- Export citation
ON GROUPS WITH DEFINABLE F-GENERICS DEFINABLE IN P-ADICALLY CLOSED FIELDS
- Part of:
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 4 / December 2023
- Published online by Cambridge University Press:
- 09 June 2023, pp. 1334-1353
- Print publication:
- December 2023
-
- Article
- Export citation
TRANSITIVITY, LOWNESS, AND RANKS IN NSOP$_{1}$ THEORIES
- Part of:
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 3 / September 2023
- Published online by Cambridge University Press:
- 09 June 2023, pp. 919-946
- Print publication:
- September 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
ON EQUIVALENCE RELATIONS INDUCED BY LOCALLY COMPACT ABELIAN POLISH GROUPS
- Part of:
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 07 June 2023, pp. 1-16
-
- Article
- Export citation
HYBRID PARTIAL TYPE THEORY
- Part of:
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 29 May 2023, pp. 1-43
-
- Article
- Export citation
JSL volume 88 issue 2 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 2 / June 2023
- Published online by Cambridge University Press:
- 26 May 2023, pp. b1-b2
- Print publication:
- June 2023
-
- Article
-
- You have access
- Export citation