13629 results in The Journal of Symbolic Logic
The proper forcing axiom and the singular cardinal hypothesis
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 2 / June 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 473-479
- Print publication:
- June 2006
-
- Article
- Export citation
Enumerations of the Kolmogorov function
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 2 / June 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 501-528
- Print publication:
- June 2006
-
- Article
- Export citation
Shelah's categoricity conjecture from a successor for tame abstract elementary classes
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 2 / June 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 553-568
- Print publication:
- June 2006
-
- Article
- Export citation
Generix never gives up
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 2 / June 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 599-610
- Print publication:
- June 2006
-
- Article
- Export citation
Determinacy for games ending at the first admissible relative to the play
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 2 / June 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 425-459
- Print publication:
- June 2006
-
- Article
- Export citation
Axiomatizing Kripke's theory of truth
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 2 / June 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 677-712
- Print publication:
- June 2006
-
- Article
- Export citation
Strongly minimal groups in the theory of compact complex spaces
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 2 / June 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 529-552
- Print publication:
- June 2006
-
- Article
- Export citation
Every countably presented formal topology is spatial, classically
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 2 / June 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 491-500
- Print publication:
- June 2006
-
- Article
- Export citation
On PAC and bounded substructures of a stable structure
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 2 / June 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 460-472
- Print publication:
- June 2006
-
- Article
- Export citation
Complexity, decidability and completeness*
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 2 / June 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 399-424
- Print publication:
- June 2006
-
- Article
- Export citation
Trichotomies for ideals of compact sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 2 / June 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 586-598
- Print publication:
- June 2006
-
- Article
- Export citation
JSL volume 71 issue 2 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 2 / June 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
- Print publication:
- June 2006
-
- Article
-
- You have access
- Export citation
Hyperfine structure theory and gap 1 morasses
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 2 / June 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 480-490
- Print publication:
- June 2006
-
- Article
- Export citation
Computable trees of Scott rank ω1CK, and computable approximation
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 1 / March 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 283-298
- Print publication:
- March 2006
-
- Article
- Export citation
Properties and consequences of Thorn-independence
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 1 / March 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-21
- Print publication:
- March 2006
-
- Article
- Export citation
An alternative semantics for quantified relevant logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 1 / March 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 163-187
- Print publication:
- March 2006
-
- Article
- Export citation
Jump operator and Yates Degrees
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 1 / March 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 252-264
- Print publication:
- March 2006
-
- Article
- Export citation
Converse dual cardinals
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 1 / March 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 22-34
- Print publication:
- March 2006
-
- Article
- Export citation
JSL volume 71 issue 1 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 1 / March 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
- Print publication:
- March 2006
-
- Article
-
- You have access
- Export citation
Completeness and Herbrand theorems for nominal logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 1 / March 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 299-320
- Print publication:
- March 2006
-
- Article
- Export citation