The Journal of Symbolic Logic, Volume 73
Volume 73, Number 1, March 2008
- Tarek Sayed Ahmed, Hajnal Andréka, István Németi:
Omitting types for finite variable fragments and complete representations of algebras. 65-89 - Marcel Jackson:
Flat algebras and the translation of universal Horn logic to equational logic. 90-128 - Dietrich Kuske, Markus Lohrey:
First-order and counting theories of omega-automatic structures. 129-150 - Jan Krajícek:
An exponential lower bound for a constraint propagation proof system based on ordered binary decision diagrams. 227-237 - Natasha Dobrinen:
kappa-stationary subsets of kappa +lambda, infinitary games, and distributive laws in Boolean algebras. 238-260
Volume 73, Number 2, June 2008
- Sy-David Friedman, Philip D. Welch, W. Hugh Woodin:
On the consistency strength of the inner model hypothesis. 391-400 - Natasha Dobrinen, Sy-David Friedman:
Internal consistency and global co-stationarity of the ground model. 512-521 - George Barmpalias, Andrew E. M. Lewis, Mariya Ivanova Soskova:
Randomness, lowness and degrees. 559-577 - Leszek Aleksander Kolodziejczyk, Neil Thapen:
The polynomial and linear hierarchies in models where the weak pigeonhole principle fails. 578-592 - Gunter Fuchs, Joel David Hamkins:
Changing the heights of automorphism towers by forcing with Souslin trees over L. 614-633 - S. Barry Cooper, Mariya Ivanova Soskova:
How enumeration reducibility yields extended Harrington non-splitting. 634-655
Volume 73, Number 3, September 2008
- Juliette Kennedy, Saharon Shelah, Jouko A. Väänänen:
Regular ultrafilters and finite square principles. 817-823 - Morten Heine Sørensen, Pawel Urzyczyn:
Strong cut-elimination in sequent calculus using Klop's iota-translation and perpetual reductions. 919-932 - Ian M. Hodkinson, Altaf Hussain:
The modal logic of affine planes is not finitely axiomatisable. 940-952
Volume 73, Number 4, December 2008
- Bart Kastermans, Juris Steprans, Yi Zhang:
Analytic and coanalytic families of almost disjoint functions. 1158-1172 - Bruno Poizat:
A la recherche de la definition de la complexite d'espace pour le calcul des polynomes a la maniere de Valiant. 1179-1201 - Kazimierz Swirydowicz:
There exists an uncountable set of pretabular extensions of the relevant logic R and each logic of this set is generated by a variety of finite height. 1249-1270 - Boaz Tsaban, Lyubomyr Zdomskyy:
Combinatorial images of sets of reals and semifilter trichotomy. 1278-1288 - Su Gao, Michael Ray Oliver:
Borel complexity of isomorphism between quotient Boolean algebras. 1328-1340 - Hajime Ishihara, Peter Schuster:
A continuity principle, a version of Baire's theorem and a boundedness principle. 1354-1360 - Roland Sh. Omanadze, Andrea Sorbi:
A characterization of the Delta02 hyperhyperimmune sets. 1407-1415