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 73, Issue 2
Publication Date: June 2008
On the consistency strength of the inner model hypothesis
Sy-David Friedman, Philip Welch and W. Hugh Woodin; 391-400
Finite state automata and monadic definability of singular cardinals
Itay Neeman; 412-438
On metric types that are definable in an o-minimal structure
Guillaume Valette; 439-447
Special groups whose isometry relation is a finite union of cosets
Vincent Astier; 448-473
Internal consistency and global co-stationarity of the ground model
Natasha Dobrinen and Sy-David Friedman; 512-521
Randomness, lowness and degrees
George Barmpalias, Andrew E. M. Lewis and Mariya Soskova; 559-577
The polynomial and linear hierarchies in models where the weak pigeonhole principle fails
Leszek Aleksander Kołodziejczyk and Neil Thapen; 578-592
Changing the heights of automorphism towers by forcing with Souslin trees over L
Gunter Fuchs and Joel David Hamkins; 614-633
How enumeration reducibility yields extended Harrington non-splitting
S. Barry Cooper and Mariya I. Soskova; 634-655
Generic complexity of undecidable problems
Alexei G. Myasnikov and Alexander N. Rybalov; 656-673
Transfer and a supremum principle for ERNA
Chris Impens and Sam Sanders; 689-710
Cardinal invariants and the collapse of the continuum by Sacks forcing
Miroslav Repický; 711-727
