13629 results in The Journal of Symbolic Logic
The Bernays-Schönfinkel-Ramsey class for set theory: semidecidability
-
- Journal:
- The Journal of Symbolic Logic / Volume 75 / Issue 2 / June 2010
- Published online by Cambridge University Press:
- 12 March 2014, pp. 459-480
- Print publication:
- June 2010
-
- Article
- Export citation
A phase semantics for polarized linear logic and second order conservativity
-
- Journal:
- The Journal of Symbolic Logic / Volume 75 / Issue 1 / March 2010
- Published online by Cambridge University Press:
- 12 March 2014, pp. 77-102
- Print publication:
- March 2010
-
- Article
- Export citation
Limitwise monotonic functions, sets, and degrees on computable domains
-
- Journal:
- The Journal of Symbolic Logic / Volume 75 / Issue 1 / March 2010
- Published online by Cambridge University Press:
- 12 March 2014, pp. 131-154
- Print publication:
- March 2010
-
- Article
- Export citation
Baire reductions and good Borel reducibilities
-
- Journal:
- The Journal of Symbolic Logic / Volume 75 / Issue 1 / March 2010
- Published online by Cambridge University Press:
- 12 March 2014, pp. 323-345
- Print publication:
- March 2010
-
- Article
- Export citation
Lattice initial segments of the hyperdegrees
-
- Journal:
- The Journal of Symbolic Logic / Volume 75 / Issue 1 / March 2010
- Published online by Cambridge University Press:
- 12 March 2014, pp. 103-130
- Print publication:
- March 2010
-
- Article
- Export citation
An equiconsistency for universal indestructibility
-
- Journal:
- The Journal of Symbolic Logic / Volume 75 / Issue 1 / March 2010
- Published online by Cambridge University Press:
- 12 March 2014, pp. 314-322
- Print publication:
- March 2010
-
- Article
- Export citation
The Ackermann functions are not optimal, but by how much?
-
- Journal:
- The Journal of Symbolic Logic / Volume 75 / Issue 1 / March 2010
- Published online by Cambridge University Press:
- 12 March 2014, pp. 289-313
- Print publication:
- March 2010
-
- Article
- Export citation
Schnorr triviality and genericity
-
- Journal:
- The Journal of Symbolic Logic / Volume 75 / Issue 1 / March 2010
- Published online by Cambridge University Press:
- 12 March 2014, pp. 191-207
- Print publication:
- March 2010
-
- Article
- Export citation
Uniquely undefinable elements
-
- Journal:
- The Journal of Symbolic Logic / Volume 75 / Issue 1 / March 2010
- Published online by Cambridge University Press:
- 12 March 2014, pp. 269-274
- Print publication:
- March 2010
-
- Article
- Export citation
On the complexity of Gödel's proof predicate
-
- Journal:
- The Journal of Symbolic Logic / Volume 75 / Issue 1 / March 2010
- Published online by Cambridge University Press:
- 12 March 2014, pp. 239-254
- Print publication:
- March 2010
-
- Article
- Export citation
Groups of small Cantor rank
-
- Journal:
- The Journal of Symbolic Logic / Volume 75 / Issue 1 / March 2010
- Published online by Cambridge University Press:
- 12 March 2014, pp. 346-354
- Print publication:
- March 2010
-
- Article
- Export citation
Fields interpretable in superrosy groups with NIP (the non-solvable case)
-
- Journal:
- The Journal of Symbolic Logic / Volume 75 / Issue 1 / March 2010
- Published online by Cambridge University Press:
- 12 March 2014, pp. 372-386
- Print publication:
- March 2010
-
- Article
- Export citation
Notions of compactness for special subsets of ℝI and some weak forms of the axiom of choice
-
- Journal:
- The Journal of Symbolic Logic / Volume 75 / Issue 1 / March 2010
- Published online by Cambridge University Press:
- 12 March 2014, pp. 255-268
- Print publication:
- March 2010
-
- Article
- Export citation
Tait's conservative extension theorem revisited
-
- Journal:
- The Journal of Symbolic Logic / Volume 75 / Issue 1 / March 2010
- Published online by Cambridge University Press:
- 12 March 2014, pp. 155-167
- Print publication:
- March 2010
-
- Article
- Export citation
On Tao's “finitary” infinite pigeonhole principle
-
- Journal:
- The Journal of Symbolic Logic / Volume 75 / Issue 1 / March 2010
- Published online by Cambridge University Press:
- 12 March 2014, pp. 355-371
- Print publication:
- March 2010
-
- Article
- Export citation
Normal triangulations in o-minimal structures
-
- Journal:
- The Journal of Symbolic Logic / Volume 75 / Issue 1 / March 2010
- Published online by Cambridge University Press:
- 12 March 2014, pp. 275-288
- Print publication:
- March 2010
-
- Article
- Export citation
The importance of Π10 classes in effective randomness
-
- Journal:
- The Journal of Symbolic Logic / Volume 75 / Issue 1 / March 2010
- Published online by Cambridge University Press:
- 12 March 2014, pp. 387-400
- Print publication:
- March 2010
-
- Article
- Export citation
A proof of completeness for continuous first-order logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 75 / Issue 1 / March 2010
- Published online by Cambridge University Press:
- 12 March 2014, pp. 168-190
- Print publication:
- March 2010
-
- Article
- Export citation
Groups definable in linear o-minimal structures: the non-compact case
-
- Journal:
- The Journal of Symbolic Logic / Volume 75 / Issue 1 / March 2010
- Published online by Cambridge University Press:
- 12 March 2014, pp. 208-220
- Print publication:
- March 2010
-
- Article
- Export citation
A monotonicity theorem for dp-minimal densely ordered groups
-
- Journal:
- The Journal of Symbolic Logic / Volume 75 / Issue 1 / March 2010
- Published online by Cambridge University Press:
- 12 March 2014, pp. 221-238
- Print publication:
- March 2010
-
- Article
- Export citation