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 78, Issue 2
Publication Date: June 2013
Satisfaction relations for proper classes: applications in logic and set theory
Robert A. Van Wesep; 345-368
Extensions of ordered theories by generic predicates
Alfred Dolich, Chris Miller and Charles Steinhorn; 369-387
Decidability for some justification logics with negative introspection
Thomas Studer; 388-402
Borel reductions and cub games in generalised descriptive set theory
Vadim Kulikov; 439-458
Nonexistence of minimal pairs for generic computability
Gregory Igusa; 511-522
Unexpected imaginaries in valued fields with analytic structure
Deirdre Haskell, Ehud Hrushovski and Dugald Macpherson; 523-542
Models of transfinite provability logic
David Fernández-Duque and Joost J. Joosten; 543-561
On colimits and elementary embeddings
Joan Bagaria and Andrew Brooke-Taylor; 562-578
Independence, dimension and continuity in non-forking frames
Adi Jarden and Alon Sitton; 602-632
On the definability of radicals in supersimple groups
Cé{d}ric Milliet; 649-656
On skinny stationary subsets of $\mathcal {P}_\kappa \lambda $
Yo Matsubara and Toschimichi Usuba; 667-680
