13629 results in The Journal of Symbolic Logic
Definability with a predicate for a semi-linear set
-
- Journal:
- The Journal of Symbolic Logic / Volume 68 / Issue 1 / March 2003
- Published online by Cambridge University Press:
- 12 March 2014, pp. 319-351
- Print publication:
- March 2003
-
- Article
- Export citation
Separably closed fields with Hasse derivations
-
- Journal:
- The Journal of Symbolic Logic / Volume 68 / Issue 1 / March 2003
- Published online by Cambridge University Press:
- 12 March 2014, pp. 311-318
- Print publication:
- March 2003
-
- Article
- Export citation
An application of graphical enumeration to PA*
-
- Journal:
- The Journal of Symbolic Logic / Volume 68 / Issue 1 / March 2003
- Published online by Cambridge University Press:
- 12 March 2014, pp. 5-16
- Print publication:
- March 2003
-
- Article
- Export citation
The Steel hierarchy of ordinal valued Borel mappings
-
- Journal:
- The Journal of Symbolic Logic / Volume 68 / Issue 1 / March 2003
- Published online by Cambridge University Press:
- 12 March 2014, pp. 187-234
- Print publication:
- March 2003
-
- Article
- Export citation
JSL Volume 68 issue 1 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 68 / Issue 1 / March 2003
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
- Print publication:
- March 2003
-
- Article
-
- You have access
- Export citation
On the induction schema for decidable predicates
-
- Journal:
- The Journal of Symbolic Logic / Volume 68 / Issue 1 / March 2003
- Published online by Cambridge University Press:
- 12 March 2014, pp. 17-34
- Print publication:
- March 2003
-
- Article
- Export citation
JSL Volume 67 issue 4 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 67 / Issue 4 / December 2002
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- December 2002
-
- Article
-
- You have access
- Export citation
Errata
-
- Journal:
- The Journal of Symbolic Logic / Volume 67 / Issue 4 / December 2002
- Published online by Cambridge University Press:
- 12 March 2014, p. 1639
- Print publication:
- December 2002
-
- Article
-
- You have access
- Export citation
Cardinalities in the projective hierarchy
-
- Journal:
- The Journal of Symbolic Logic / Volume 67 / Issue 4 / December 2002
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1351-1372
- Print publication:
- December 2002
-
- Article
- Export citation
Smooth classes without AC and Robinson theories
-
- Journal:
- The Journal of Symbolic Logic / Volume 67 / Issue 4 / December 2002
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1274-1294
- Print publication:
- December 2002
-
- Article
- Export citation
Modulated fibring and the collapsing problem
-
- Journal:
- The Journal of Symbolic Logic / Volume 67 / Issue 4 / December 2002
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1541-1569
- Print publication:
- December 2002
-
- Article
- Export citation
A dichotomy theorem for turbulence
-
- Journal:
- The Journal of Symbolic Logic / Volume 67 / Issue 4 / December 2002
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1520-1540
- Print publication:
- December 2002
-
- Article
- Export citation
JSL Volume 67 issue 4 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 67 / Issue 4 / December 2002
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b10
- Print publication:
- December 2002
-
- Article
-
- You have access
- Export citation
A constructive look at the completeness of the space
(ℝ)
-
- Journal:
- The Journal of Symbolic Logic / Volume 67 / Issue 4 / December 2002
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1511-1519
- Print publication:
- December 2002
-
- Article
- Export citation
Some highly saturated models of Peano arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 67 / Issue 4 / December 2002
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1265-1273
- Print publication:
- December 2002
-
- Article
- Export citation
Borovik-Poizat rank and stability
-
- Journal:
- The Journal of Symbolic Logic / Volume 67 / Issue 4 / December 2002
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1570-1578
- Print publication:
- December 2002
-
- Article
- Export citation
Small theories of Boolean ordered o-minimal structures
-
- Journal:
- The Journal of Symbolic Logic / Volume 67 / Issue 4 / December 2002
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1385-1390
- Print publication:
- December 2002
-
- Article
- Export citation
Contiguity and distributivity in the enumerable Turing degrees — Corrigendum
-
- Journal:
- The Journal of Symbolic Logic / Volume 67 / Issue 4 / December 2002
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1579-1580
- Print publication:
- December 2002
-
- Article
- Export citation
A uniqueness theorem for iterations
-
- Journal:
- The Journal of Symbolic Logic / Volume 67 / Issue 4 / December 2002
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1344-1350
- Print publication:
- December 2002
-
- Article
- Export citation
Regular enumerations
-
- Journal:
- The Journal of Symbolic Logic / Volume 67 / Issue 4 / December 2002
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1323-1343
- Print publication:
- December 2002
-
- Article
- Export citation