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 69, Issue 2
Publication Date: June 2004
A completeness theorem for symmetric product phase spaces
Thomas Ehrhard; 340-370
A universal extender model without large cardinals in V
William Mitchell and Ralf Schindler; 371-386
On almost orthogonality in simple theories
Itay Ben-Yaacov and Frank O. Wagner; 398-408
Formalized token models and duality in semantics: an algebraic approach
Lars Hansen; 443-477
On a question of Herzog and Rothmaler
Anand Pillay and Martin Ziegler; 478-481
Combinatorics for the dominating and unsplitting numbers
Jason Aubrey; 482-498
Π11 relations and paths through 𝒪
Sergey S. Goncharov, Valentina S. Harizanov, Julia F. Knight and Richard A. Shore; 585-611
An incompleteness theorem for βn-models
Carl Mummert and Stephen G. Simpson; 612-616
