13629 results in The Journal of Symbolic Logic
JSL Volume 67 issue 1 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 67 / Issue 1 / March 2002
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
- Print publication:
- March 2002
-
- Article
-
- You have access
- Export citation
The strict order property and generic automorphisms
-
- Journal:
- The Journal of Symbolic Logic / Volume 67 / Issue 1 / March 2002
- Published online by Cambridge University Press:
- 12 March 2014, pp. 214-216
- Print publication:
- March 2002
-
- Article
- Export citation
SN and CR for free-style LKtq: linear decorations and simulation of normalization
-
- Journal:
- The Journal of Symbolic Logic / Volume 67 / Issue 1 / March 2002
- Published online by Cambridge University Press:
- 12 March 2014, pp. 162-196
- Print publication:
- March 2002
-
- Article
- Export citation
Embedding finite lattices into the Σ20 enumeration degrees
-
- Journal:
- The Journal of Symbolic Logic / Volume 67 / Issue 1 / March 2002
- Published online by Cambridge University Press:
- 12 March 2014, pp. 69-90
- Print publication:
- March 2002
-
- Article
- Export citation
An axiomatic presentation of the nonstandard methods in mathematics
-
- Journal:
- The Journal of Symbolic Logic / Volume 67 / Issue 1 / March 2002
- Published online by Cambridge University Press:
- 12 March 2014, pp. 315-325
- Print publication:
- March 2002
-
- Article
- Export citation
Complexity of interpolation and related problems in positive calculi
-
- Journal:
- The Journal of Symbolic Logic / Volume 67 / Issue 1 / March 2002
- Published online by Cambridge University Press:
- 12 March 2014, pp. 397-408
- Print publication:
- March 2002
-
- Article
- Export citation
Relation algebra reducts of cylindric algebras and an application to proof theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 67 / Issue 1 / March 2002
- Published online by Cambridge University Press:
- 12 March 2014, pp. 197-213
- Print publication:
- March 2002
-
- Article
- Export citation
On essentially low, canonically well-generated Boolean algebras
-
- Journal:
- The Journal of Symbolic Logic / Volume 67 / Issue 1 / March 2002
- Published online by Cambridge University Press:
- 12 March 2014, pp. 369-396
- Print publication:
- March 2002
-
- Article
- Export citation
A classification of intersection type systems
-
- Journal:
- The Journal of Symbolic Logic / Volume 67 / Issue 1 / March 2002
- Published online by Cambridge University Press:
- 12 March 2014, pp. 353-368
- Print publication:
- March 2002
-
- Article
- Export citation
Some weak fragments of HA and certain closure properties
-
- Journal:
- The Journal of Symbolic Logic / Volume 67 / Issue 1 / March 2002
- Published online by Cambridge University Press:
- 12 March 2014, pp. 91-103
- Print publication:
- March 2002
-
- Article
- Export citation
A model-theoretic proof for P ≠ NP over all infinite abelian group
-
- Journal:
- The Journal of Symbolic Logic / Volume 67 / Issue 1 / March 2002
- Published online by Cambridge University Press:
- 12 March 2014, pp. 235-238
- Print publication:
- March 2002
-
- Article
- Export citation
Valuation structure
-
- Journal:
- The Journal of Symbolic Logic / Volume 67 / Issue 1 / March 2002
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-23
- Print publication:
- March 2002
-
- Article
- Export citation
Minimal groups in separably closed fields
-
- Journal:
- The Journal of Symbolic Logic / Volume 67 / Issue 1 / March 2002
- Published online by Cambridge University Press:
- 12 March 2014, pp. 239-259
- Print publication:
- March 2002
-
- Article
- Export citation
Unique decomposition in classifiable theories
-
- Journal:
- The Journal of Symbolic Logic / Volume 67 / Issue 1 / March 2002
- Published online by Cambridge University Press:
- 12 March 2014, pp. 61-68
- Print publication:
- March 2002
-
- Article
- Export citation
Realization of analysis into Explicit Mathematics
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 4 / December 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1848-1864
- Print publication:
- December 2001
-
- Article
- Export citation
Bounded variation implies regulated: a constructive proof
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 4 / December 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1695-1700
- Print publication:
- December 2001
-
- Article
- Export citation
Quelques modestes remarques a propos d'une conséquence inattendue d'un résultat surprenant de monsieur frank olaf wagner
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 4 / December 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1637-1646
- Print publication:
- December 2001
-
- Article
- Export citation
On the convergence of query-bounded computations and logical closure properties of c.e. sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 4 / December 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1543-1560
- Print publication:
- December 2001
-
- Article
- Export citation
An algebraic approach to intuitionistic connectives
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 4 / December 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1620-1636
- Print publication:
- December 2001
-
- Article
- Export citation
Shelah's work on non-semi-proper iterations, II
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 4 / December 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1865-1883
- Print publication:
- December 2001
-
- Article
- Export citation