The Journal of Symbolic Logic, Volume 73

Volume 73, Number 1, March 2008

• Wim Veldman:
  The Borel Hierarchy Theorem from Brouwer's intuitionistic perspective. 1-64
  
• 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
  
• Stefan Geschke, Saharon Shelah:
  The number of openly generated Boolean algebras. 151-164
  
• Tapani Hyttinen, Olivier Lessmann:
  Canonical bases in excellent classes. 165-180
  
• Hiroshi Sakai:
  Semistationary and stationary reflection. 181-192
  
• James H. Schmerl:
  Nondiversity in substructures. 193-211
  
• J. B. Paris, A. Sirokofskich:
  On LP-models of arithmetic. 212-226
  
• 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
  
• J. Donald Monk:
  Maximal irredundance and maximal ideal independence in Boolean algebras. 261-275
  
• Gunter Fuchs:
  Closed maximality principles: implications, separations and combinations. 276-308
  
• Keng Meng Ng:
  On very high degrees. 309-342
  
• Itay Neeman, Ernest Schimmerling:
  Hierarchies of forcing axioms I. 343-362
  
• John D. Clemens:
  Weakly pointed trees and partial injections. 363-368
  

Volume 73, Number 2, June 2008

• John R. Steel:
  Scales in K(R) at the end of a weak gap. 369-390
  
• Sy-David Friedman, Philip D. Welch, W. Hugh Woodin:
  On the consistency strength of the inner model hypothesis. 391-400
  
• Bernard A. Anderson:
  Reals n-generic relative to some perfect tree. 401-411
  
• Itay Neeman:
  Finite state automata and monadic definability of singular cardinals. 412-438
  
• Guillaume Valette:
  On metric types that are definable in an o-minimal structure. 439-447
  
• Vincent Astier:
  Special groups whose isometry relation is a finite union of cosets. 448-473
  
• James Gray:
  Coding complete theories in Galois groups. 474-491
  
• Moti Gitik:
  Some pathological examples of precipitous ideals. 492-511
  
• Natasha Dobrinen, Sy-David Friedman:
  Internal consistency and global co-stationarity of the ground model. 512-521
  
• Itay Neeman:
  Hierarchies of forcing axioms II. 522-542
  
• Sebastiaan Terwijn:
  On the structure of the Medvedev lattice. 543-558
  
• 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
  
• Bruno Durand, Leonid A. Levin, Alexander Shen:
  Complex tilings. 593-613
  
• 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
  
• Alexei G. Myasnikov, Alexander Rybalov:
  Generic complexity of undecidable problems. 656-673
  
• Luís Pereira:
  The PCF conjecture and large cardinals. 674-688
  
• Chris Impens, Sam Sanders:
  Transfer and a supremum principle for ERNA. 689-710
  
• Miroslav Repický:
  Cardinal invariants and the collapse of the continuum by Sacks forcing. 711-727
  

Volume 73, Number 3, September 2008

• Pierre Matet:
  Weak square bracket relations for P_kappa (lambda). 729-751
  
• Hiroaki Minami:
  Suslin forcing and parametrized diamond principles. 752-764
  
• John T. Baldwin, Saharon Shelah:
  Examples of non-locality. 765-782
  
• Alexander Rabinovich, Amit Shomrat:
  Selection in the monadic theory of a countable ordinal. 783-816
  
• Juliette Kennedy, Saharon Shelah, Jouko A. Väänänen:
  Regular ultrafilters and finite square principles. 817-823
  
• Fredrik Engström:
  A note on standard systems and ultrafilters. 824-830
  
• Sy-David Friedman, Katherine Thompson:
  Internal consistency for embedding complexity. 831-844
  
• Victoria Gitman:
  Scott's problem for Proper Scott sets. 845-860
  
• Markus Junker, Martin Ziegler:
  The 116 reducts of (Q, <, a). 861-884
  
• Chris J. Conidis:
  Classifying model-theoretic properties. 885-905
  
• Sy-David Friedman, Katherine Thompson:
  Perfect trees and elementary embeddings. 906-918
  
• Morten Heine Sørensen, Pawel Urzyczyn:
  Strong cut-elimination in sequent calculus using Klop's iota-translation and perpetual reductions. 919-932
  
• Josef Berger:
  The weak König lemma and uniform continuity. 933-939
  
• Ian Hodkinson, Altaf Hussain:
  The modal logic of affine planes is not finitely axiomatisable. 940-952
  
• Albin L. Jones:
  On a result of Szemerédi. 953-956
  
• Fares Maalouf:
  Construction d'un groupe dans les structures C-minimales. 957-968
  
• Matthias Baaz, Rosalie Iemhoff:
  On Skolemization in constructive theories. 969-998
  
• Johanna N. Y. Franklin:
  Hyperimmune-free degrees and Schnorr triviality. 999-1008
  
• Karen Lange:
  The degree spectra of homogeneous models. 1009-1028
  
• Justin Tatch Moore:
  Aronszajn lines and the club filter. 1029-1035
  
• Immanuel Halupczok:
  Motives for perfect PAC fields with pro-cyclic Galois group. 1036-1050
  
• Steven Perron:
  Examining fragments of the quantified propositional calculus. 1051-1080
  
• Albert Visser:
  Closed fragments of provability logics of constructive theories. 1081-1096
  

Volume 73, Number 4, December 2008

• Kenneth Harris:
  eta-representation of sets and degrees. 1097-1121
  
• Daniel E. Severin:
  Unary primitive recursive functions. 1122-1138
  
• Benjamin D. Miller:
  Measurable chromatic numbers. 1139-1157
  
• Bart Kastermans, Juris Steprans, Yi Zhang:
  Analytic and coanalytic families of almost disjoint functions. 1158-1172
  
• Maciej Malicki:
  An example of a Polish group. 1173-1178
  
• 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
  
• Andrzej Starosolski:
  P-hierarchy on beta omega. 1202-1214
  
• Thomas A. Johnstone:
  Strongly unfoldable cardinals made indestructible. 1215-1248
  
• 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
  
• Greg Hjorth:
  Borel equivalence relations which are highly unfree. 1271-1277
  
• Boaz Tsaban, Lyubomyr Zdomskyy:
  Combinatorial images of sets of reals and semifilter trichotomy. 1278-1288
  
• David Milovich:
  Splitting families and the Noetherian type of beta omega \\ omega. 1289-1306
  
• James Cummings, Sy-David Friedman:
  on the singular cardinals. 1307-1314
  
• Charles McCarty:
  Completeness and incompleteness for intuitionistic logic. 1315-1327
  
• Su Gao, Michael Ray Oliver:
  Borel complexity of isomorphism between quotient Boolean algebras. 1328-1340
  
• Stephen Binns:
  Pi⁰₁ classes with complex elements. 1341-1353
  
• Hajime Ishihara, Peter Schuster:
  A continuity principle, a version of Baire's theorem and a boundedness principle. 1354-1360
  
• Dima Sinapova:
  A model for a very good scale and a bad scale. 1361-1372
  
• Rachel Epstein:
  Prime models of computably enumerable degree. 1373-1388
  
• Pavel Pudlák:
  Fragments of bounded arithmetic and the lengths of proofs. 1389-1406
  
• Roland Sh. Omanadze, Andrea Sorbi:
  A characterization of the Delta⁰₂ hyperhyperimmune sets. 1407-1415
  
• Mirna Dzamonja, Grzegorz Plebanek:
  Strictly positive measures on Boolean algebras. 1416-1432
  
• Milos S. Kurilic, Boris Sobot:
  Power-collapsing games. 1433-1457
  

Last update Sat May 25 20:47:15 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page