13629 results in The Journal of Symbolic Logic
COMPUTABLE PRESENTATIONS OF C*-ALGEBRAS
- Part of:
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 20 April 2023, pp. 1-26
-
- Article
- Export citation
STRUCTURE OF SUMMABLE TALL IDEALS UNDER KATĚTOV ORDER
- Part of:
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 20 April 2023, pp. 1-27
-
- Article
- Export citation
SEPARATING MANY LOCALISATION CARDINALS ON THE GENERALISED BAIRE SPACE
- Part of:
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 13 April 2023, pp. 1-20
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
PARTITIONING THE REAL LINE INTO BOREL SETS
- Part of:
-
- Journal:
- The Journal of Symbolic Logic / Volume 89 / Issue 2 / June 2024
- Published online by Cambridge University Press:
- 11 April 2023, pp. 549-568
- Print publication:
- June 2024
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
INFINITARY LOGIC HAS NO EXPRESSIVE EFFICIENCY OVER FINITARY LOGIC
- Part of:
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 11 April 2023, pp. 1-18
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
STRUCTURAL PROPERTIES OF THE STABLE CORE
- Part of:
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 3 / September 2023
- Published online by Cambridge University Press:
- 11 April 2023, pp. 889-918
- Print publication:
- September 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
REMARKS ON CONVERGENCE OF MORLEY SEQUENCES
- Part of:
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 04 April 2023, pp. 1-19
-
- Article
- Export citation
THE AUTOMORPHISM GROUP OF THE FRAÏSSÉ LIMIT OF FINITE HEYTING ALGEBRAS—ADDENDUM
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 3 / September 2023
- Published online by Cambridge University Press:
- 03 April 2023, pp. 1321-1322
- Print publication:
- September 2023
-
- Article
- Export citation
COMPARING COMPUTABILITY IN TWO TOPOLOGIES
- Part of:
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 27 March 2023, pp. 1-19
-
- Article
- Export citation
THE EMBEDDING PROPERTY FOR SORTED PROFINITE GROUPS
- Part of:
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 3 / September 2023
- Published online by Cambridge University Press:
- 20 March 2023, pp. 1005-1037
- Print publication:
- September 2023
-
- Article
- Export citation
ON COHESIVE POWERS OF LINEAR ORDERS
- Part of:
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 3 / September 2023
- Published online by Cambridge University Press:
- 13 March 2023, pp. 947-1004
- Print publication:
- September 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
THEORIES WITH DISTAL SHELAH EXPANSIONS
- Part of:
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 4 / December 2023
- Published online by Cambridge University Press:
- 08 March 2023, pp. 1323-1333
- Print publication:
- December 2023
-
- Article
- Export citation
TIGHT EVENTUALLY DIFFERENT FAMILIES
- Part of:
-
- Journal:
- The Journal of Symbolic Logic / Volume 89 / Issue 2 / June 2024
- Published online by Cambridge University Press:
- 02 March 2023, pp. 697-723
- Print publication:
- June 2024
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
COMPLETENESS OF THE GÖDEL–LÖB PROVABILITY LOGIC FOR THE FILTER SEQUENCE OF NORMAL MEASURES
- Part of:
-
- Journal:
- The Journal of Symbolic Logic / Volume 89 / Issue 1 / March 2024
- Published online by Cambridge University Press:
- 23 February 2023, pp. 163-174
- Print publication:
- March 2024
-
- Article
- Export citation
JSL volume 88 issue 1 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 1 / March 2023
- Published online by Cambridge University Press:
- 21 February 2023, pp. f1-f3
- Print publication:
- March 2023
-
- Article
-
- You have access
- Export citation
JSL volume 88 issue 1 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 1 / March 2023
- Published online by Cambridge University Press:
- 21 February 2023, pp. b1-b2
- Print publication:
- March 2023
-
- Article
-
- You have access
- Export citation
INTUITIONISTIC SAHLQVIST THEORY FOR DEDUCTIVE SYSTEMS
- Part of:
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 20 February 2023, pp. 1-59
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
ELIMINATION OF IMAGINARIES IN ORDERED ABELIAN GROUPS WITH BOUNDED REGULAR RANK
- Part of:
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 4 / December 2023
- Published online by Cambridge University Press:
- 06 February 2023, pp. 1639-1654
- Print publication:
- December 2023
-
- Article
- Export citation
A TOPOMETRIC EFFROS THEOREM
- Part of:
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 02 February 2023, pp. 1-11
-
- Article
- Export citation
ON THE COFINALITY OF THE LEAST
$\lambda $-STRONGLY COMPACT CARDINAL
- Part of:
-
- Journal:
- The Journal of Symbolic Logic / Volume 89 / Issue 2 / June 2024
- Published online by Cambridge University Press:
- 19 January 2023, pp. 569-582
- Print publication:
- June 2024
-
- Article
- Export citation