13629 results in The Journal of Symbolic Logic
Multiplication complexe et équivalence élémentaire dans le langage des corps (Complex multiplication and elementary equivalence in the language of fields)
-
- Journal:
- The Journal of Symbolic Logic / Volume 67 / Issue 2 / June 2002
- Published online by Cambridge University Press:
- 12 March 2014, pp. 635-648
- Print publication:
- June 2002
-
- Article
- Export citation
More undecidable lattices of Steinitz exchange systems
-
- Journal:
- The Journal of Symbolic Logic / Volume 67 / Issue 2 / June 2002
- Published online by Cambridge University Press:
- 12 March 2014, pp. 859-878
- Print publication:
- June 2002
-
- Article
- Export citation
The relative consistency of g < cf(Sym(ω))
-
- Journal:
- The Journal of Symbolic Logic / Volume 67 / Issue 1 / March 2002
- Published online by Cambridge University Press:
- 12 March 2014, pp. 297-314
- Print publication:
- March 2002
-
- Article
- Export citation
Proving consistency of equational theories in bounded arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 67 / Issue 1 / March 2002
- Published online by Cambridge University Press:
- 12 March 2014, pp. 279-296
- Print publication:
- March 2002
-
- Article
- Export citation
How to extend the semantic tableaux and cut-free versions of the second incompleteness theorem almost to Robinson's arithmetic q
-
- Journal:
- The Journal of Symbolic Logic / Volume 67 / Issue 1 / March 2002
- Published online by Cambridge University Press:
- 12 March 2014, pp. 465-496
- Print publication:
- March 2002
-
- Article
- Export citation
A new “feasible” arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 67 / Issue 1 / March 2002
- Published online by Cambridge University Press:
- 12 March 2014, pp. 104-116
- Print publication:
- March 2002
-
- Article
- Export citation
Theories with equational forking
-
- Journal:
- The Journal of Symbolic Logic / Volume 67 / Issue 1 / March 2002
- Published online by Cambridge University Press:
- 12 March 2014, pp. 326-340
- Print publication:
- March 2002
-
- Article
- Export citation
Forcing and stable ordered–union ultrafilters
-
- Journal:
- The Journal of Symbolic Logic / Volume 67 / Issue 1 / March 2002
- Published online by Cambridge University Press:
- 12 March 2014, pp. 449-464
- Print publication:
- March 2002
-
- Article
- Export citation
JSL Volume 67 issue 1 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 67 / Issue 1 / March 2002
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- March 2002
-
- Article
-
- You have access
- Export citation
The cost of a cycle is a square
-
- Journal:
- The Journal of Symbolic Logic / Volume 67 / Issue 1 / March 2002
- Published online by Cambridge University Press:
- 12 March 2014, pp. 35-60
- Print publication:
- March 2002
-
- Article
- Export citation
Pfaffian differential equations over exponential o-minimal structures
-
- Journal:
- The Journal of Symbolic Logic / Volume 67 / Issue 1 / March 2002
- Published online by Cambridge University Press:
- 12 March 2014, pp. 438-448
- Print publication:
- March 2002
-
- Article
- Export citation
Wellordering proofs for metapredicative Mahlo
-
- Journal:
- The Journal of Symbolic Logic / Volume 67 / Issue 1 / March 2002
- Published online by Cambridge University Press:
- 12 March 2014, pp. 260-278
- Print publication:
- March 2002
-
- Article
- Export citation
A maximal bounded forcing axiom
-
- Journal:
- The Journal of Symbolic Logic / Volume 67 / Issue 1 / March 2002
- Published online by Cambridge University Press:
- 12 March 2014, pp. 130-142
- Print publication:
- March 2002
-
- Article
- Export citation
Open questions in the theory of spaces of orderings
-
- Journal:
- The Journal of Symbolic Logic / Volume 67 / Issue 1 / March 2002
- Published online by Cambridge University Press:
- 12 March 2014, pp. 341-352
- Print publication:
- March 2002
-
- Article
- Export citation
Two cardinal properties of homogeneous graphs
-
- Journal:
- The Journal of Symbolic Logic / Volume 67 / Issue 1 / March 2002
- Published online by Cambridge University Press:
- 12 March 2014, pp. 217-220
- Print publication:
- March 2002
-
- Article
- Export citation
An algebraic approach to categories of partial morphisms
-
- Journal:
- The Journal of Symbolic Logic / Volume 67 / Issue 1 / March 2002
- Published online by Cambridge University Press:
- 12 March 2014, pp. 117-129
- Print publication:
- March 2002
-
- Article
- Export citation
On modal logics between K × K × K and S5 × S5 × S5
-
- Journal:
- The Journal of Symbolic Logic / Volume 67 / Issue 1 / March 2002
- Published online by Cambridge University Press:
- 12 March 2014, pp. 221-234
- Print publication:
- March 2002
-
- Article
- Export citation
La limite des theories de courbes generiques
-
- Journal:
- The Journal of Symbolic Logic / Volume 67 / Issue 1 / March 2002
- Published online by Cambridge University Press:
- 12 March 2014, pp. 24-34
- Print publication:
- March 2002
-
- Article
- Export citation
Maximal contiguous degrees
-
- Journal:
- The Journal of Symbolic Logic / Volume 67 / Issue 1 / March 2002
- Published online by Cambridge University Press:
- 12 March 2014, pp. 409-437
- Print publication:
- March 2002
-
- Article
- Export citation
Definitions of compactness and the axiom of choice
-
- Journal:
- The Journal of Symbolic Logic / Volume 67 / Issue 1 / March 2002
- Published online by Cambridge University Press:
- 12 March 2014, pp. 143-161
- Print publication:
- March 2002
-
- Article
- Export citation