13631 results in The Journal of Symbolic Logic
ALMOST THEOREMS OF HYPERARITHMETIC ANALYSIS
- Part of:
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 2 / June 2023
- Published online by Cambridge University Press:
- 01 August 2022, pp. 664-696
- Print publication:
- June 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
THE PERMUTATIONS WITH n NON-FIXED POINTS AND THE SEQUENCES WITH LENGTH n OF A SET
- Part of:
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 25 July 2022, pp. 1-10
-
- Article
- Export citation
EXTENSIONAL REALIZABILITY AND CHOICE FOR DEPENDENT TYPES IN INTUITIONISTIC SET THEORY
- Part of:
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 3 / September 2023
- Published online by Cambridge University Press:
- 20 July 2022, pp. 1138-1169
- Print publication:
- September 2023
-
- Article
- Export citation
PA RELATIVE TO AN ENUMERATION ORACLE
- Part of:
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 4 / December 2023
- Published online by Cambridge University Press:
- 18 July 2022, pp. 1497-1525
- Print publication:
- December 2023
-
- Article
- Export citation
EMBEDDINGS INTO OUTER MODELS
- Part of:
-
- Journal:
- The Journal of Symbolic Logic / Volume 87 / Issue 4 / December 2022
- Published online by Cambridge University Press:
- 11 July 2022, pp. 1301-1321
- Print publication:
- December 2022
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
THE FIRST-ORDER LOGIC OF CZF IS INTUITIONISTIC FIRST-ORDER LOGIC
- Part of:
-
- Journal:
- The Journal of Symbolic Logic / Volume 89 / Issue 1 / March 2024
- Published online by Cambridge University Press:
- 08 July 2022, pp. 308-330
- Print publication:
- March 2024
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
KNASTER AND FRIENDS III: SUBADDITIVE COLORINGS
- Part of:
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 3 / September 2023
- Published online by Cambridge University Press:
- 30 June 2022, pp. 1230-1280
- Print publication:
- September 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
MAKER–BREAKER GAMES ON $ K_{\omega _1}$ AND $K_{\omega ,\omega _1}$
- Part of:
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 2 / June 2023
- Published online by Cambridge University Press:
- 30 June 2022, pp. 697-703
- Print publication:
- June 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
ALGEBRAIC EXPANSIONS OF LOGICS
- Part of:
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 1 / March 2023
- Published online by Cambridge University Press:
- 22 June 2022, pp. 74-92
- Print publication:
- March 2023
-
- Article
- Export citation
CONTINUOUS LOGIC AND BOREL EQUIVALENCE RELATIONS
- Part of:
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 4 / December 2023
- Published online by Cambridge University Press:
- 22 June 2022, pp. 1725-1752
- Print publication:
- December 2023
-
- Article
- Export citation
ADDITIVE COVERS AND THE CANONICAL BASE PROPERTY
- Part of:
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 1 / March 2023
- Published online by Cambridge University Press:
- 15 June 2022, pp. 118-144
- Print publication:
- March 2023
-
- Article
- Export citation
HOW STRONG IS RAMSEY’S THEOREM IF INFINITY CAN BE WEAK?
- Part of:
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 2 / June 2023
- Published online by Cambridge University Press:
- 14 June 2022, pp. 620-639
- Print publication:
- June 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
COMPUTABLE REDUCIBILITY OF EQUIVALENCE RELATIONS AND AN EFFECTIVE JUMP OPERATOR
- Part of:
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 2 / June 2023
- Published online by Cambridge University Press:
- 13 June 2022, pp. 540-561
- Print publication:
- June 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
THE SIMPLEST LOW LINEAR ORDER WITH NO COMPUTABLE COPIES
- Part of:
-
- Journal:
- The Journal of Symbolic Logic / Volume 89 / Issue 1 / March 2024
- Published online by Cambridge University Press:
- 10 June 2022, pp. 97-111
- Print publication:
- March 2024
-
- Article
- Export citation
THE AUTOMORPHISM GROUP OF THE FRAÏSSÉ LIMIT OF FINITE HEYTING ALGEBRAS
- Part of:
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 3 / September 2023
- Published online by Cambridge University Press:
- 07 June 2022, pp. 1310-1320
- Print publication:
- September 2023
-
- Article
- Export citation
THE WEAK VOPĚNKA PRINCIPLE FOR DEFINABLE CLASSES OF STRUCTURES
- Part of:
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 1 / March 2023
- Published online by Cambridge University Press:
- 02 June 2022, pp. 145-168
- Print publication:
- March 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
JSL volume 87 issue 2 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 87 / Issue 2 / June 2022
- Published online by Cambridge University Press:
- 13 June 2022, pp. b1-b2
- Print publication:
- June 2022
-
- Article
-
- You have access
- Export citation
JSL volume 87 issue 2 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 87 / Issue 2 / June 2022
- Published online by Cambridge University Press:
- 13 June 2022, pp. f1-f3
- Print publication:
- June 2022
-
- Article
-
- You have access
- Export citation
DETERMINACY OF SCHMIDT’S GAME AND OTHER INTERSECTION GAMES
- Part of:
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 1 / March 2023
- Published online by Cambridge University Press:
- 30 May 2022, pp. 1-21
- Print publication:
- March 2023
-
- Article
- Export citation
MODEL THEORY AND PROOF THEORY OF THE GLOBAL REFLECTION PRINCIPLE
- Part of:
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 2 / June 2023
- Published online by Cambridge University Press:
- 20 May 2022, pp. 738-779
- Print publication:
- June 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation