13629 results in The Journal of Symbolic Logic
Automorphism groups of arithmetically saturated models
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 1 / March 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 203-216
- Print publication:
- March 2006
-
- Article
- Export citation
Iterates of the core model
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 1 / March 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 241-251
- Print publication:
- March 2006
-
- Article
- Export citation
The hierarchy theorem for second order generalized quantifiers
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 1 / March 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 188-202
- Print publication:
- March 2006
-
- Article
- Export citation
Orbit equivalence and actions of
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 1 / March 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 265-282
- Print publication:
- March 2006
-
- Article
- Export citation
On a conjecture of Dobrinen and Simpson concerning almost everywhere domination
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 1 / March 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 119-136
- Print publication:
- March 2006
-
- Article
- Export citation
Associativity as commutativity
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 1 / March 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 217-226
- Print publication:
- March 2006
-
- Article
- Export citation
Effectiveness and multivalued logics
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 1 / March 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 137-162
- Print publication:
- March 2006
-
- Article
- Export citation
Bounded modified realizability
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 1 / March 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 329-346
- Print publication:
- March 2006
-
- Article
- Export citation
Geometry of forking in simple theories
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 1 / March 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 347-360
- Print publication:
- March 2006
-
- Article
- Export citation
On weak and strong interpolation in algebraic logics
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 1 / March 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 104-118
- Print publication:
- March 2006
-
- Article
- Export citation
Structure with fast elimination of quantifiers
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 1 / March 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 321-328
- Print publication:
- March 2006
-
- Article
- Export citation
Permutations and wellfoundedness: the true meaning of the bizarre arithmetic of Quine's NF
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 1 / March 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 227-240
- Print publication:
- March 2006
-
- Article
- Export citation
Normalized natural deduction systems for some relevant logics I: The logic DW
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 1 / March 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 35-66
- Print publication:
- March 2006
-
- Article
- Export citation
JSL volume 71 issue 1 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 1 / March 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- March 2006
-
- Article
-
- You have access
- Export citation
Free spectra of linear equivalential algebras
-
- Journal:
- The Journal of Symbolic Logic / Volume 70 / Issue 4 / December 2005
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1341-1358
- Print publication:
- December 2005
-
- Article
- Export citation
The first-order structure of weakly Dedekind-finite set
-
- Journal:
- The Journal of Symbolic Logic / Volume 70 / Issue 4 / December 2005
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1161-1170
- Print publication:
- December 2005
-
- Article
- Export citation
Subsimple groups
-
- Journal:
- The Journal of Symbolic Logic / Volume 70 / Issue 4 / December 2005
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1365-1370
- Print publication:
- December 2005
-
- Article
- Export citation
Cofinal families of Borel equivalence relations and quasiorders
-
- Journal:
- The Journal of Symbolic Logic / Volume 70 / Issue 4 / December 2005
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1325-1340
- Print publication:
- December 2005
-
- Article
- Export citation
ω-powers and descriptive set theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 70 / Issue 4 / December 2005
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1210-1232
- Print publication:
- December 2005
-
- Article
- Export citation
An exploration of the partial respects in which an axiom system recognizing solely addition as a total function can verify its own consistency
-
- Journal:
- The Journal of Symbolic Logic / Volume 70 / Issue 4 / December 2005
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1171-1209
- Print publication:
- December 2005
-
- Article
- Export citation