13630 results in The Journal of Symbolic Logic
THE DEFINABILITY STRENGTH OF COMBINATORIAL PRINCIPLES
-
- Journal:
- The Journal of Symbolic Logic / Volume 81 / Issue 4 / December 2016
- Published online by Cambridge University Press:
- 01 December 2016, pp. 1531-1554
- Print publication:
- December 2016
-
- Article
- Export citation
SEPARATING FRAGMENTS OF WLEM, LPO, AND MP
-
- Journal:
- The Journal of Symbolic Logic / Volume 81 / Issue 4 / December 2016
- Published online by Cambridge University Press:
- 01 December 2016, pp. 1315-1343
- Print publication:
- December 2016
-
- Article
- Export citation
MODIFIED EXTENDER BASED FORCING
-
- Journal:
- The Journal of Symbolic Logic / Volume 81 / Issue 4 / December 2016
- Published online by Cambridge University Press:
- 01 December 2016, pp. 1432-1443
- Print publication:
- December 2016
-
- Article
- Export citation
ON THE NON-ENUMERABILITY OF L
-
- Journal:
- The Journal of Symbolic Logic / Volume 81 / Issue 4 / December 2016
- Published online by Cambridge University Press:
- 01 December 2016, pp. 1396-1404
- Print publication:
- December 2016
-
- Article
- Export citation
DESCRIPTIONS AND CARDINALS BELOW $\delta _5^1$
-
- Journal:
- The Journal of Symbolic Logic / Volume 81 / Issue 4 / December 2016
- Published online by Cambridge University Press:
- 01 December 2016, pp. 1177-1224
- Print publication:
- December 2016
-
- Article
- Export citation
THE STRENGTH OF THE TREE THEOREM FOR PAIRS IN REVERSE MATHEMATICS
-
- Journal:
- The Journal of Symbolic Logic / Volume 81 / Issue 4 / December 2016
- Published online by Cambridge University Press:
- 01 December 2016, pp. 1481-1499
- Print publication:
- December 2016
-
- Article
- Export citation
ON FOREMAN’S MAXIMALITY PRINCIPLE
-
- Journal:
- The Journal of Symbolic Logic / Volume 81 / Issue 4 / December 2016
- Published online by Cambridge University Press:
- 29 September 2016, pp. 1344-1356
- Print publication:
- December 2016
-
- Article
- Export citation
ON THE STRENGTH OF TWO RECURRENCE THEOREMS
-
- Journal:
- The Journal of Symbolic Logic / Volume 81 / Issue 4 / December 2016
- Published online by Cambridge University Press:
- 29 September 2016, pp. 1357-1374
- Print publication:
- December 2016
-
- Article
- Export citation
THE RIGHT ANGLE TO LOOK AT ORTHOGONAL SETS
-
- Journal:
- The Journal of Symbolic Logic / Volume 81 / Issue 4 / December 2016
- Published online by Cambridge University Press:
- 29 September 2016, pp. 1298-1314
- Print publication:
- December 2016
-
- Article
- Export citation
JSL volume 81 issue 3 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 81 / Issue 3 / September 2016
- Published online by Cambridge University Press:
- 14 September 2016, pp. f1-f4
- Print publication:
- September 2016
-
- Article
-
- You have access
- Export citation
REDUCED PRODUCTS OF METRIC STRUCTURES: A METRIC FEFERMAN–VAUGHT THEOREM
-
- Journal:
- The Journal of Symbolic Logic / Volume 81 / Issue 3 / September 2016
- Published online by Cambridge University Press:
- 14 September 2016, pp. 856-875
- Print publication:
- September 2016
-
- Article
- Export citation
DENSE IDEALS AND CARDINAL ARITHMETIC
-
- Journal:
- The Journal of Symbolic Logic / Volume 81 / Issue 3 / September 2016
- Published online by Cambridge University Press:
- 14 September 2016, pp. 789-813
- Print publication:
- September 2016
-
- Article
- Export citation
NFSI IS NOT INCLUDED IN NF3
-
- Journal:
- The Journal of Symbolic Logic / Volume 81 / Issue 3 / September 2016
- Published online by Cambridge University Press:
- 14 September 2016, pp. 948-950
- Print publication:
- September 2016
-
- Article
- Export citation
JSL volume 81 issue 3 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 81 / Issue 3 / September 2016
- Published online by Cambridge University Press:
- 14 September 2016, pp. b1-b2
- Print publication:
- September 2016
-
- Article
-
- You have access
- Export citation
CONSTRUCTING MANY ATOMIC MODELS IN ℵ1
-
- Journal:
- The Journal of Symbolic Logic / Volume 81 / Issue 3 / September 2016
- Published online by Cambridge University Press:
- 14 September 2016, pp. 1142-1162
- Print publication:
- September 2016
-
- Article
- Export citation
ON REALS WITH ${\rm{\Delta }}_2^0$-BOUNDED COMPLEXITY AND COMPRESSIVE POWER
-
- Journal:
- The Journal of Symbolic Logic / Volume 81 / Issue 3 / September 2016
- Published online by Cambridge University Press:
- 14 September 2016, pp. 833-855
- Print publication:
- September 2016
-
- Article
- Export citation
REDUCTS OF STRUCTURES AND MAXIMAL-CLOSED PERMUTATION GROUPS
-
- Journal:
- The Journal of Symbolic Logic / Volume 81 / Issue 3 / September 2016
- Published online by Cambridge University Press:
- 14 September 2016, pp. 1087-1114
- Print publication:
- September 2016
-
- Article
- Export citation
DEFINABILITY OF SATISFACTION IN OUTER MODELS
-
- Journal:
- The Journal of Symbolic Logic / Volume 81 / Issue 3 / September 2016
- Published online by Cambridge University Press:
- 14 September 2016, pp. 1047-1068
- Print publication:
- September 2016
-
- Article
- Export citation
GENERALISED IMAGINARIES AND GALOIS COHOMOLOGY
-
- Journal:
- The Journal of Symbolic Logic / Volume 81 / Issue 3 / September 2016
- Published online by Cambridge University Press:
- 14 September 2016, pp. 917-935
- Print publication:
- September 2016
-
- Article
- Export citation
STONE SPACE OF CYLINDRIC ALGEBRAS AND TOPOLOGICAL MODEL SPACES
-
- Journal:
- The Journal of Symbolic Logic / Volume 81 / Issue 3 / September 2016
- Published online by Cambridge University Press:
- 14 September 2016, pp. 1069-1086
- Print publication:
- September 2016
-
- Article
- Export citation