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 75, Issue 1
Publication Date: March 2010
Real closed fields and models of Peano arithmetic
P. D'Aquino, J. F. Knight and S. Starchenko; 1-11
Recovering the hyperdefinable group action in the group configuration theorem
Byunghan Kim; 12-24
Finitely axiomatizable strongly minimal groups
Thomas Blossier and Elisabeth Bouscaren; 25-50
A phase semantics for polarized linear logic and second order conservativity
Masahiro Hamano and Ryo Takemura; 77-102
Lattice initial segments of the hyperdegrees
Bjørn Kjos-Hanssen and Richard A. Shore; 103-130
Limitwise monotonic functions, sets, and degrees on computable domains
Asher M. Kach and Daniel Turetsky; 131-154
A proof of completeness for continuous first-order logic
Arthur Paul Pedersen and Itaï Ben Yaacov; 168-190
Groups definable in linear o-minimal structures: the non-compact case
Pantelis E. Eleftheriou; 208-220
A monotonicity theorem for dp-minimal densely ordered groups
John Goodrick; 221-238
On the complexity of Gödel's proof predicate
Yijia Chen and Jörg Flum; 239-254
Notions of compactness for special subsets of ℝI and some weak forms of the axiom of choice
Marianne Morillon; 255-268
The Ackermann functions are not optimal, but by how much?
H. Simmons; 289-313
An equiconsistency for universal indestructibility
Arthur W. Apter and Grigor Sargsyan; 314-322
On Tao's “finitary” infinite pigeonhole principle
Jaime Gaspar and Ulrich Kohlenbach; 355-371
Fields interpretable in superrosy groups with NIP (the non-solvable case)
Krzysztof Krupiński; 372-386
The importance of Π⁰₁ classes in effective randomness
George Barmpalias, Andrew E.M. Lewis and Keng Meng Ng; 387-400