13629 results in The Journal of Symbolic Logic
Hindman's theorem, ultrafilters, and reverse mathematics
-
- Journal:
- The Journal of Symbolic Logic / Volume 69 / Issue 1 / March 2004
- Published online by Cambridge University Press:
- 12 March 2014, pp. 65-72
- Print publication:
- March 2004
-
- Article
- Export citation
Ranked partial structures
-
- Journal:
- The Journal of Symbolic Logic / Volume 68 / Issue 4 / December 2003
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1109-1144
- Print publication:
- December 2003
-
- Article
- Export citation
A theory for Log-Space and NLIN versus co-NLIN
-
- Journal:
- The Journal of Symbolic Logic / Volume 68 / Issue 4 / December 2003
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1082-1090
- Print publication:
- December 2003
-
- Article
- Export citation
JSL Volume 68 issue 4 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 68 / Issue 4 / December 2003
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- December 2003
-
- Article
-
- You have access
- Export citation
A short proof of the strong normalization of classical natural deduction with disjunction
-
- Journal:
- The Journal of Symbolic Logic / Volume 68 / Issue 4 / December 2003
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1277-1288
- Print publication:
- December 2003
-
- Article
- Export citation
On countable simple unidimensional theories
-
- Journal:
- The Journal of Symbolic Logic / Volume 68 / Issue 4 / December 2003
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1377-1384
- Print publication:
- December 2003
-
- Article
- Export citation
Categoricity and U-rank in excellent classes
-
- Journal:
- The Journal of Symbolic Logic / Volume 68 / Issue 4 / December 2003
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1317-1336
- Print publication:
- December 2003
-
- Article
- Export citation
Simple stable homogeneous groups
-
- Journal:
- The Journal of Symbolic Logic / Volume 68 / Issue 4 / December 2003
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1145-1162
- Print publication:
- December 2003
-
- Article
- Export citation
An application of Kochen's theorem
-
- Journal:
- The Journal of Symbolic Logic / Volume 68 / Issue 4 / December 2003
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1181-1188
- Print publication:
- December 2003
-
- Article
- Export citation
Finite-to-one maps
-
- Journal:
- The Journal of Symbolic Logic / Volume 68 / Issue 4 / December 2003
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1251-1253
- Print publication:
- December 2003
-
- Article
- Export citation
JSL Volume 68 issue 4 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 68 / Issue 4 / December 2003
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b8
- Print publication:
- December 2003
-
- Article
-
- You have access
- Export citation
Universally Baire sets and definable well-orderings of the reals
-
- Journal:
- The Journal of Symbolic Logic / Volume 68 / Issue 4 / December 2003
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1065-1081
- Print publication:
- December 2003
-
- Article
- Export citation
Additivity properties of topological diagonalizations
-
- Journal:
- The Journal of Symbolic Logic / Volume 68 / Issue 4 / December 2003
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1254-1260
- Print publication:
- December 2003
-
- Article
- Export citation
Ordering MAD families a la Katětov
-
- Journal:
- The Journal of Symbolic Logic / Volume 68 / Issue 4 / December 2003
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1337-1353
- Print publication:
- December 2003
-
- Article
- Export citation
Parallel strategies
-
- Journal:
- The Journal of Symbolic Logic / Volume 68 / Issue 4 / December 2003
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1242-1250
- Print publication:
- December 2003
-
- Article
- Export citation
Proof normalization modulo
-
- Journal:
- The Journal of Symbolic Logic / Volume 68 / Issue 4 / December 2003
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1289-1316
- Print publication:
- December 2003
-
- Article
- Export citation
The axiom of choice and combinatory logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 68 / Issue 4 / December 2003
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1091-1108
- Print publication:
- December 2003
-
- Article
- Export citation
A computably categorical structure whose expansion by a constant has infinite computable dimension
-
- Journal:
- The Journal of Symbolic Logic / Volume 68 / Issue 4 / December 2003
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1199-1241
- Print publication:
- December 2003
-
- Article
- Export citation
The cofinality of the infinite symmetric group and groupwise density
-
- Journal:
- The Journal of Symbolic Logic / Volume 68 / Issue 4 / December 2003
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1354-1361
- Print publication:
- December 2003
-
- Article
- Export citation
Distinguishing types of gaps in
(ω)/fin
-
- Journal:
- The Journal of Symbolic Logic / Volume 68 / Issue 4 / December 2003
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1261-1276
- Print publication:
- December 2003
-
- Article
- Export citation