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 74, Issue 3
Publication Date: September 2009
On generic structures with a strong amalgamation property
Koichiro Ikeda, Hirotaka Kikyo and Akito Tsuboi; 721-733
The model completion of the theory of modules over finitely generated commutative algebras
Moshe Kamensky; 734-750
Equivalence of consequence relations: an order-theoretic and categorical perspective
Nikolaos Galatos and Constantine Tsinakis; 780-810
Strongly representable atom structures of cylindric algebras
Robin Hirsch and Ian Hodkinson; 811-828
Lawvere—Tierney sheaves in Algebraic Set Theory
S. Awodey, N. Gambino, P. L. Lumsdaine and M. A. Warren; 861-890
Cohomology of groups in o-minimal structures: acyclicity of the infinitesimal subgroup
Alessandro Berarducci; 891-900
The amalgamation spectrum
John T. Baldwin, Alexei Kolesnikov and Saharon Shelah; 914-928
A geometric zero-one law
Robert H. Gilman, Yuri Gurevich and Alexei Miasnikov; 929-938
The complexity of learning SUBSEQ(A)
Stephen Fenner, William Gasarch and Brian Postow; 939-975
Bounding non-GL₂ and R.E.A.
Klaus Ambos-Spies, Decheng Ding, Wei Wang and Liang Yu; 989-1000
The existence of a near-unanimity term in a finite algebra is decidable
Miklós Maróti; 1001-1014
Intrinsic bounds on complexity and definability at limit levels
John Chisholm, Ekaterina B. Fokina, Sergey S. Goncharov, Valentina S. Harizanov, Julia F. Knight and Sara Quinn; 1047-1060
Countable Fréchet Boolean groups: An independence result
Jörg Brendle and Michael Hrušák; 1061-1068
The number of normal measures
Sy-David Friedman and Menachem Magidor; 1069-1080
