13630 results in The Journal of Symbolic Logic
JSL volume 83 issue 3 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 83 / Issue 3 / September 2018
- Published online by Cambridge University Press:
- 23 October 2018, pp. f1-f3
- Print publication:
- September 2018
-
- Article
-
- You have access
- Export citation
THE TEMPORAL LOGIC OF TWO DIMENSIONAL MINKOWSKI SPACETIME IS DECIDABLE
-
- Journal:
- The Journal of Symbolic Logic / Volume 83 / Issue 3 / September 2018
- Published online by Cambridge University Press:
- 23 October 2018, pp. 829-867
- Print publication:
- September 2018
-
- Article
- Export citation
THE COMPLEXITY OF TOPOLOGICAL GROUP ISOMORPHISM
-
- Journal:
- The Journal of Symbolic Logic / Volume 83 / Issue 3 / September 2018
- Published online by Cambridge University Press:
- 23 October 2018, pp. 1190-1203
- Print publication:
- September 2018
-
- Article
- Export citation
CONSISTENCY PROOF OF A FRAGMENT OF PV WITH SUBSTITUTION IN BOUNDED ARITHMETIC
-
- Journal:
- The Journal of Symbolic Logic / Volume 83 / Issue 3 / September 2018
- Published online by Cambridge University Press:
- 23 October 2018, pp. 1063-1090
- Print publication:
- September 2018
-
- Article
- Export citation
ON C(n)-EXTENDIBLE CARDINALS
-
- Journal:
- The Journal of Symbolic Logic / Volume 83 / Issue 3 / September 2018
- Published online by Cambridge University Press:
- 23 October 2018, pp. 1112-1131
- Print publication:
- September 2018
-
- Article
- Export citation
THE SOLIDITY AND NONSOLIDITY OF INITIAL SEGMENTS OF THE CORE MODEL
-
- Journal:
- The Journal of Symbolic Logic / Volume 83 / Issue 3 / September 2018
- Published online by Cambridge University Press:
- 23 October 2018, pp. 920-938
- Print publication:
- September 2018
-
- Article
- Export citation
INFINITE COMBINATORICS PLAIN AND SIMPLE
-
- Journal:
- The Journal of Symbolic Logic / Volume 83 / Issue 3 / September 2018
- Published online by Cambridge University Press:
- 23 October 2018, pp. 1247-1281
- Print publication:
- September 2018
-
- Article
- Export citation
PROVABILITY LOGICS RELATIVE TO A FIXED EXTENSION OF PEANO ARITHMETIC
-
- Journal:
- The Journal of Symbolic Logic / Volume 83 / Issue 3 / September 2018
- Published online by Cambridge University Press:
- 23 October 2018, pp. 1229-1246
- Print publication:
- September 2018
-
- Article
- Export citation
JSL volume 83 issue 3 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 83 / Issue 3 / September 2018
- Published online by Cambridge University Press:
- 23 October 2018, pp. b1-b2
- Print publication:
- September 2018
-
- Article
-
- You have access
- Export citation
FROM MULTISETS TO SETS IN HOMOTOPY TYPE THEORY
-
- Journal:
- The Journal of Symbolic Logic / Volume 83 / Issue 3 / September 2018
- Published online by Cambridge University Press:
- 23 October 2018, pp. 1132-1146
- Print publication:
- September 2018
-
- Article
- Export citation
INTERRELATION BETWEEN WEAK FRAGMENTS OF DOUBLE NEGATION SHIFT AND RELATED PRINCIPLES
-
- Journal:
- The Journal of Symbolic Logic / Volume 83 / Issue 3 / September 2018
- Published online by Cambridge University Press:
- 23 October 2018, pp. 991-1012
- Print publication:
- September 2018
-
- Article
- Export citation
SUBCOMPLETE FORCING, TREES, AND GENERIC ABSOLUTENESS
-
- Journal:
- The Journal of Symbolic Logic / Volume 83 / Issue 3 / September 2018
- Published online by Cambridge University Press:
- 23 October 2018, pp. 1282-1305
- Print publication:
- September 2018
-
- Article
- Export citation
TRUNCATION AND SEMI-DECIDABILITY NOTIONS IN APPLICATIVE THEORIES
-
- Journal:
- The Journal of Symbolic Logic / Volume 83 / Issue 3 / September 2018
- Published online by Cambridge University Press:
- 23 October 2018, pp. 967-990
- Print publication:
- September 2018
-
- Article
- Export citation
TOWERS IN FILTERS, CARDINAL INVARIANTS, AND LUZIN TYPE FAMILIES
-
- Journal:
- The Journal of Symbolic Logic / Volume 83 / Issue 3 / September 2018
- Published online by Cambridge University Press:
- 23 October 2018, pp. 1013-1062
- Print publication:
- September 2018
-
- Article
- Export citation
AN ALGEBRAIC APPROACH TO MSO-DEFINABILITY ON COUNTABLE LINEAR ORDERINGS
-
- Journal:
- The Journal of Symbolic Logic / Volume 83 / Issue 3 / September 2018
- Published online by Cambridge University Press:
- 23 October 2018, pp. 1147-1189
- Print publication:
- September 2018
-
- Article
- Export citation
PROOF-THEORETIC STRENGTHS OF WEAK THEORIES FOR POSITIVE INDUCTIVE DEFINITIONS
-
- Journal:
- The Journal of Symbolic Logic / Volume 83 / Issue 3 / September 2018
- Published online by Cambridge University Press:
- 23 October 2018, pp. 1091-1111
- Print publication:
- September 2018
-
- Article
- Export citation
ON THE STRUCTURE OF GROUPS ENDOWED WITH A COMPATIBLE C-RELATION
-
- Journal:
- The Journal of Symbolic Logic / Volume 83 / Issue 3 / September 2018
- Published online by Cambridge University Press:
- 23 October 2018, pp. 939-966
- Print publication:
- September 2018
-
- Article
- Export citation
SIMPLE GROUPS OF MORLEY RANK 5 ARE BAD
-
- Journal:
- The Journal of Symbolic Logic / Volume 83 / Issue 3 / September 2018
- Published online by Cambridge University Press:
- 23 October 2018, pp. 1217-1228
- Print publication:
- September 2018
-
- Article
- Export citation
A LOGICAL AND ALGEBRAIC CHARACTERIZATION OF ADJUNCTIONS BETWEEN GENERALIZED QUASI-VARIETIES
-
- Journal:
- The Journal of Symbolic Logic / Volume 83 / Issue 3 / September 2018
- Published online by Cambridge University Press:
- 23 October 2018, pp. 899-919
- Print publication:
- September 2018
-
- Article
- Export citation
JSL volume 83 issue 2 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 83 / Issue 2 / June 2018
- Published online by Cambridge University Press:
- 01 August 2018, pp. b1-b2
- Print publication:
- June 2018
-
- Article
-
- You have access
- Export citation