13629 results in The Journal of Symbolic Logic
Retraction note for “PDL has interpolation”
-
- Journal:
- The Journal of Symbolic Logic / Volume 69 / Issue 3 / September 2004
- Published online by Cambridge University Press:
- 12 March 2014, pp. 935-936
- Print publication:
- September 2004
-
- Article
- Export citation
Theories of presheaf type
-
- Journal:
- The Journal of Symbolic Logic / Volume 69 / Issue 3 / September 2004
- Published online by Cambridge University Press:
- 12 March 2014, pp. 923-934
- Print publication:
- September 2004
-
- Article
- Export citation
Solovay models and forcing extensions
-
- Journal:
- The Journal of Symbolic Logic / Volume 69 / Issue 3 / September 2004
- Published online by Cambridge University Press:
- 12 March 2014, pp. 742-766
- Print publication:
- September 2004
-
- Article
- Export citation
Dividing in the algebra of compact operators
-
- Journal:
- The Journal of Symbolic Logic / Volume 69 / Issue 3 / September 2004
- Published online by Cambridge University Press:
- 12 March 2014, pp. 817-829
- Print publication:
- September 2004
-
- Article
- Export citation
Filtering unification and most general unifiers in modal logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 69 / Issue 3 / September 2004
- Published online by Cambridge University Press:
- 12 March 2014, pp. 879-906
- Print publication:
- September 2004
-
- Article
- Export citation
On some small cardinals for Boolean algebras
-
- Journal:
- The Journal of Symbolic Logic / Volume 69 / Issue 3 / September 2004
- Published online by Cambridge University Press:
- 12 March 2014, pp. 674-682
- Print publication:
- September 2004
-
- Article
- Export citation
JSL volume 69 issue 3 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 69 / Issue 3 / September 2004
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- September 2004
-
- Article
-
- You have access
- Export citation
Continuum-many Boolean algebras of the form
Borel
-
- Journal:
- The Journal of Symbolic Logic / Volume 69 / Issue 3 / September 2004
- Published online by Cambridge University Press:
- 12 March 2014, pp. 799-816
- Print publication:
- September 2004
-
- Article
- Export citation
Every polynomial-time 1-degree collapses if and only if P = PSPACE
-
- Journal:
- The Journal of Symbolic Logic / Volume 69 / Issue 3 / September 2004
- Published online by Cambridge University Press:
- 12 March 2014, pp. 713-741
- Print publication:
- September 2004
-
- Article
- Export citation
Diophantine properties of sets definable in o-minimal structures
-
- Journal:
- The Journal of Symbolic Logic / Volume 69 / Issue 3 / September 2004
- Published online by Cambridge University Press:
- 12 March 2014, pp. 851-861
- Print publication:
- September 2004
-
- Article
- Export citation
Wellfoundedness proofs by means of non-monotonic inductive definitions I: Π20-operators
-
- Journal:
- The Journal of Symbolic Logic / Volume 69 / Issue 3 / September 2004
- Published online by Cambridge University Press:
- 12 March 2014, pp. 830-850
- Print publication:
- September 2004
-
- Article
- Export citation
On spectra of sentences of monadic second order logic with counting
-
- Journal:
- The Journal of Symbolic Logic / Volume 69 / Issue 3 / September 2004
- Published online by Cambridge University Press:
- 12 March 2014, pp. 617-640
- Print publication:
- September 2004
-
- Article
- Export citation
Lovely pairs of models: the non first order case
-
- Journal:
- The Journal of Symbolic Logic / Volume 69 / Issue 3 / September 2004
- Published online by Cambridge University Press:
- 12 March 2014, pp. 641-662
- Print publication:
- September 2004
-
- Article
- Export citation
Patterns of paradox
-
- Journal:
- The Journal of Symbolic Logic / Volume 69 / Issue 3 / September 2004
- Published online by Cambridge University Press:
- 12 March 2014, pp. 767-774
- Print publication:
- September 2004
-
- Article
- Export citation
JSL volume 69 issue 3 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 69 / Issue 3 / September 2004
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
- Print publication:
- September 2004
-
- Article
-
- You have access
- Export citation
Every 2-random real is Kolmogorov random
-
- Journal:
- The Journal of Symbolic Logic / Volume 69 / Issue 3 / September 2004
- Published online by Cambridge University Press:
- 12 March 2014, pp. 907-913
- Print publication:
- September 2004
-
- Article
- Export citation
A partial analysis of modified realizability
-
- Journal:
- The Journal of Symbolic Logic / Volume 69 / Issue 2 / June 2004
- Published online by Cambridge University Press:
- 12 March 2014, pp. 421-429
- Print publication:
- June 2004
-
- Article
- Export citation
Semi-bounded relations in ordered modules
-
- Journal:
- The Journal of Symbolic Logic / Volume 69 / Issue 2 / June 2004
- Published online by Cambridge University Press:
- 12 March 2014, pp. 499-517
- Print publication:
- June 2004
-
- Article
- Export citation
On almost orthogonality in simple theories
-
- Journal:
- The Journal of Symbolic Logic / Volume 69 / Issue 2 / June 2004
- Published online by Cambridge University Press:
- 12 March 2014, pp. 398-408
- Print publication:
- June 2004
-
- Article
- Export citation
A completeness theorem for symmetric product phase spaces
-
- Journal:
- The Journal of Symbolic Logic / Volume 69 / Issue 2 / June 2004
- Published online by Cambridge University Press:
- 12 March 2014, pp. 340-370
- Print publication:
- June 2004
-
- Article
- Export citation