13629 results in The Journal of Symbolic Logic
Hausdorff measure on o-minimal structures
-
- Journal:
- The Journal of Symbolic Logic / Volume 77 / Issue 2 / June 2012
- Published online by Cambridge University Press:
- 12 March 2014, pp. 631-648
- Print publication:
- June 2012
-
- Article
- Export citation
ℙmax variations for separating club guessing principles
-
- Journal:
- The Journal of Symbolic Logic / Volume 77 / Issue 2 / June 2012
- Published online by Cambridge University Press:
- 12 March 2014, pp. 532-544
- Print publication:
- June 2012
-
- Article
- Export citation
Truth definitions without exponentiation and the Σ1 collection scheme
-
- Journal:
- The Journal of Symbolic Logic / Volume 77 / Issue 2 / June 2012
- Published online by Cambridge University Press:
- 12 March 2014, pp. 649-655
- Print publication:
- June 2012
-
- Article
- Export citation
A real of strictly positive effective packing dimension that does not compute a real of effective packing dimension one
-
- Journal:
- The Journal of Symbolic Logic / Volume 77 / Issue 2 / June 2012
- Published online by Cambridge University Press:
- 12 March 2014, pp. 447-474
- Print publication:
- June 2012
-
- Article
- Export citation
Henson and Rubel's theorem for Zilber's pseudoexponentiation
-
- Journal:
- The Journal of Symbolic Logic / Volume 77 / Issue 2 / June 2012
- Published online by Cambridge University Press:
- 12 March 2014, pp. 423-432
- Print publication:
- June 2012
-
- Article
- Export citation
Corrigendum to: “Quantifier elimination in valued Ore modules”
-
- Journal:
- The Journal of Symbolic Logic / Volume 77 / Issue 2 / June 2012
- Published online by Cambridge University Press:
- 12 March 2014, pp. 727-728
- Print publication:
- June 2012
-
- Article
- Export citation
Nonhemimaximal degrees and the high/low hierarchy
-
- Journal:
- The Journal of Symbolic Logic / Volume 77 / Issue 2 / June 2012
- Published online by Cambridge University Press:
- 12 March 2014, pp. 433-446
- Print publication:
- June 2012
-
- Article
- Export citation
On countable chains having decidable monadic theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 77 / Issue 2 / June 2012
- Published online by Cambridge University Press:
- 12 March 2014, pp. 593-608
- Print publication:
- June 2012
-
- Article
- Export citation
Multiplicative valued difference fields
-
- Journal:
- The Journal of Symbolic Logic / Volume 77 / Issue 2 / June 2012
- Published online by Cambridge University Press:
- 12 March 2014, pp. 545-579
- Print publication:
- June 2012
-
- Article
- Export citation
JSL volume 77 issue 2 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 77 / Issue 2 / June 2012
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- June 2012
-
- Article
-
- You have access
- Export citation
On rational limits of Shelah–Spencer graphs
-
- Journal:
- The Journal of Symbolic Logic / Volume 77 / Issue 2 / June 2012
- Published online by Cambridge University Press:
- 12 March 2014, pp. 580-592
- Print publication:
- June 2012
-
- Article
- Export citation
On the complexity of proof deskolemization
-
- Journal:
- The Journal of Symbolic Logic / Volume 77 / Issue 2 / June 2012
- Published online by Cambridge University Press:
- 12 March 2014, pp. 669-686
- Print publication:
- June 2012
-
- Article
- Export citation
Some results about (+) proved by iterated forcing
-
- Journal:
- The Journal of Symbolic Logic / Volume 77 / Issue 2 / June 2012
- Published online by Cambridge University Press:
- 12 March 2014, pp. 515-531
- Print publication:
- June 2012
-
- Article
- Export citation
Woodin's axiom (*), bounded forcing axioms, and precipitous ideals on ω1
-
- Journal:
- The Journal of Symbolic Logic / Volume 77 / Issue 2 / June 2012
- Published online by Cambridge University Press:
- 24 February 2017, pp. 475-498
- Print publication:
- June 2012
-
- Article
- Export citation
A stochastic interpretation of propositional dynamic logic: expressivity
-
- Journal:
- The Journal of Symbolic Logic / Volume 77 / Issue 2 / June 2012
- Published online by Cambridge University Press:
- 12 March 2014, pp. 687-716
- Print publication:
- June 2012
-
- Article
- Export citation
A version of p-adic minimality
-
- Journal:
- The Journal of Symbolic Logic / Volume 77 / Issue 2 / June 2012
- Published online by Cambridge University Press:
- 12 March 2014, pp. 621-630
- Print publication:
- June 2012
-
- Article
- Export citation
Weakly one-based geometric theories
-
- Journal:
- The Journal of Symbolic Logic / Volume 77 / Issue 2 / June 2012
- Published online by Cambridge University Press:
- 12 March 2014, pp. 392-422
- Print publication:
- June 2012
-
- Article
- Export citation
On subgroups of the additive group in differentially closed fields
-
- Journal:
- The Journal of Symbolic Logic / Volume 77 / Issue 2 / June 2012
- Published online by Cambridge University Press:
- 12 March 2014, pp. 369-391
- Print publication:
- June 2012
-
- Article
- Export citation
Adding linear orders
-
- Journal:
- The Journal of Symbolic Logic / Volume 77 / Issue 2 / June 2012
- Published online by Cambridge University Press:
- 12 March 2014, pp. 717-725
- Print publication:
- June 2012
-
- Article
- Export citation
RT22 does not imply WKL0
-
- Journal:
- The Journal of Symbolic Logic / Volume 77 / Issue 2 / June 2012
- Published online by Cambridge University Press:
- 12 March 2014, pp. 609-620
- Print publication:
- June 2012
-
- Article
-
- You have access
- Export citation