The Journal of Symbolic Logic publishes original scholarly work in symbolic logic. Founded in 1936, it has become the leading research journal in the field. The Journal aims to represent logic broadly, including its connections with mathematics and philosophy as well as newer aspects related to computer science and linguistics.
Volume 77, Issue 2
Publication Date: June 2012
On subgroups of the additive group in differentially closed fields
Sonat Süer; 369-391
Weakly one-based geometric theories
Alexander Berenstein and Evgueni Vassiliev; 392-422
Henson and Rubel's theorem for Zilber's pseudoexponentiation
Ahuva C. Shkop; 423-432
Nonhemimaximal degrees and the high/low hierarchy
Chengling Fang and Guohua Wu; 433-446
A real of strictly positive effective packing dimension that does not compute a real of effective packing dimension one
Chris J. Conidis; 447-474
Woodin's axiom (*), bounded forcing axioms, and precipitous ideals on ω₁
Benjamin Claverie and Ralf Schindler; 475-498
Some results about (+) proved by iterated forcing
Tetsuya Ishiu and Paul B. Larson; 515-531
ℛmax variations for separating club guessing principles
Tetsuya Ishiu and Paul B. Larson; 532-544
On rational limits of Shelah—Spencer graphs
Justin Brody and M. C. Laskowski; 580-592
On countable chains having decidable monadic theory
Alexis Bès and Alexander Rabinovich; 593-608
Hausdorff measure on o-minimal structures
A. Fornasiero and E. Vasquez Rifo; 631-648
Truth definitions without exponentiation and the Σ₁ collection scheme
Zofia Adamowicz, Leszek Aleksander Kołodziejczyk and Jeff Paris; 649-655
On the complexity of proof deskolemization
Matthias Baaz, Stefan Hetzl and Daniel Weller; 669-686
A stochastic interpretation of propositional dynamic logic: expressivity
Ernst-Erich Doberkat; 687-716
Corrigendum to: “Real closed fields and models of arithmetic”
P. D'Aquino, J. F. Knight and S. Starchenko; 726
Corrigendum to: “Quantifier elimination in valued Ore modules”
Luc Bélair and Françoise Point; 727-728
