13629 results in The Journal of Symbolic Logic
Undecidable theories of Lyndon algebras
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 1 / March 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 207-224
- Print publication:
- March 2001
-
- Article
- Export citation
Cohen reals from small forcings
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 1 / March 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 318-324
- Print publication:
- March 2001
-
- Article
- Export citation
Some independence results for control structures in complete numberings
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 1 / March 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 357-382
- Print publication:
- March 2001
-
- Article
- Export citation
JSL volume 66 issue 1 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 1 / March 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
- Print publication:
- March 2001
-
- Article
-
- You have access
- Export citation
Strong axioms of infinity in NFU
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 1 / March 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 87-116
- Print publication:
- March 2001
-
- Article
- Export citation
A remark on Martin's Conjecture
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 1 / March 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 401-406
- Print publication:
- March 2001
-
- Article
- Export citation
Minimal but not strongly minimal structures with arbitrary finite dimensions
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 1 / March 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 117-126
- Print publication:
- March 2001
-
- Article
- Export citation
Modèles saturés et modèles engendrés par des indiscernables
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 1 / March 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 325-348
- Print publication:
- March 2001
-
- Article
- Export citation
– CA0 and order types of countable ordered groups
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 1 / March 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 192-206
- Print publication:
- March 2001
-
- Article
- Export citation
On the strength of Ramsey's theorem for pairs
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 1 / March 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-55
- Print publication:
- March 2001
-
- Article
- Export citation
Chang's Conjecture and the Non-Stationary Ideal
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 1 / March 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 144-170
- Print publication:
- March 2001
-
- Article
- Export citation
Hyperimaginaries and automorphism groups
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 1 / March 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 127-143
- Print publication:
- March 2001
-
- Article
- Export citation
Minimum propositional proof length is NP-hard to linearly approximate
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 1 / March 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 171-191
- Print publication:
- March 2001
-
- Article
- Export citation
An intensional type theory: motivation and cut-elimination
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 1 / March 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 383-400
- Print publication:
- March 2001
-
- Article
- Export citation
Distance semantics for belief revision
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 1 / March 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 295-317
- Print publication:
- March 2001
-
- Article
- Export citation
On the admissible rules of intuitionistic propositional logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 1 / March 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 281-294
- Print publication:
- March 2001
-
- Article
- Export citation
JSL volume 66 issue 1 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 1 / March 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- March 2001
-
- Article
-
- You have access
- Export citation
Syntactical truth predicates for second order arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 1 / March 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 225-256
- Print publication:
- March 2001
-
- Article
- Export citation
Wadge hierarchy and Veblen hierarchy Part I: Borel sets of finite rank
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 1 / March 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 56-86
- Print publication:
- March 2001
-
- Article
- Export citation
Identity crises and strong compactness
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 4 / December 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1895-1910
- Print publication:
- December 2000
-
- Article
- Export citation