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 71, Issue 3
Publication Date: September 2006
The proof-theoretic analysis of transfinitely iterated quasi least fixed points
Dieter Probst; 721-746
The complexity of analytic tableaux
Noriko H. Arai, Toniann Pitassi and Alasdair Urquhart; 777-790
A new S4 classical modal logic in natural deduction
Maria da Paz N. Medeiros; 799-809
Finite satisfiability and ℵ₀-categorical structures with trivial dependence
Marko Djordjević; 810-830
Stable embeddedness in algebraically closed valued fields
E. Hrushovski and A. Tatarsky; 831-862
On theories and models in fuzzy predicate logics
Petr Cintula and Petr Hájek; 863-880
Counterexamples to the unique and cofinal branches hypotheses
Itay Neeman and John Steel; 977-988
A polynomial translation of S4 into intuitionistic logic
David Fernandez; 989-1001
Abstract Beth definability in institutions
Răzvan Diaconescu and Marius Petria; 1002-1028
Co-stationarity of the ground model
Natasha Dobrinen and Sy-David Friedman; 1029-1043
Lowness and Π₂⁰ nullsets
Rod Downey, Andre Nies, Rebecca Weber and Liang Yu; 1044-1052
Menger’s covering property and groupwise density
Boaz Tsaban and Lyubomyr Zdomskyy; 1053-1056
Uniform almost everywhere domination
Peter Cholak, Noam Greenberg and Joseph S. Miller; 1057-1072
Universal spaces for classes of scattered Eberlein compact spaces
Murray Bell and Witold Marciszewski; 1073-1080
