Volume 74, Number 1, March 2009

• 
  Heike Mildenberger: Creatures on omega₁ and weak diamonds. 1-16
• 
  Nathan Bowler, Thomas Forster: Normal subgroups of infinite symmetric groups, with an application to stratified set theory. 17-26
• 
  Luca Motto Ros: Borel-amenable reducibilities for sets of reals. 27-49
• 
  Ludomir Newelski: Topological dynamics of definable group actions. 50-72
• 
  Jakob Kellner, Saharon Shelah: Decisive creatures and large continuum. 73-104
• 
  Hannu Niemistö: Zero-one law and definability of linear order. 105-123
• 
  Verónica Becher, Serge Grigorieff: From index sets to randomness in EMPTY SET ⁿ: random reals and possibly infinite computations. Part II. 124-156
• 
  Konrad Zdanowski: On second order intuitionistic propositional logic without a universal quantifier. 157-167
• 
  Michael Benedikt, Luc Segoufin: Towards a characterization of order-invariant queries over tame graphs. 168-186
• 
  Benjamin Claverie, Ralf Schindler: Increasing u₂ by a stationary set preserving forcing. 187-200
• 
  Jennifer Chubb, Jeffry L. Hirst, Timothy H. McNicholl: Reverse mathematics, computability, and partitions of trees. 201-215
• 
  Alexander Usvyatsov: On generically stable types in dependent theories. 216-250
• 
  Sy-David Friedman, Katherine Thompson: An inner model for global domination. 251-264
• 
  Mihai Ganea: Arithmetic on semigroups. 265-278
• 
  Stefan Göller, Markus Lohrey, Carsten Lutz: PDL with intersection and converse: satisfiability and infinite-state model checking. 279-314
• 
  Ronald Jensen, Ernest Schimmerling, Ralf Schindler, John R. Steel: Stacking mice. 315-335
• 
  Pavel Semukhin: Prime models of finite computable dimension. 336-348
• 
  Stephen Binns, Bjørn Kjos-Hanssen: Finding paths through narrow and wide trees. 349-360

Volume 74, Number 2, June 2009

• 
  Saharon Shelan: Model theory without choice? Categoricity. 361-401
• 
  Greg Hjorth: Glimm-Effros for coanalytic equivalence relations. 402-422
• 
  Gunter Fuchs, Joel David Hamkins: Degrees of rigidity for Souslin trees. 423-454
• 
  Charalampos Cornaros, Alan R. Woods: On bounded arithmetic augmented by the ability to count certain sets of primes. 455-473
• 
  Mike Prest, Ravi Rajani: Pure-injectivity and model theory for G-sets. 474-488
• 
  Lorenzo Carlucci, John Case, Sanjay Jain: Learning correction grammars. 489-516
• 
  Antonín Kucera, Theodore A. Slaman: Low upper bounds of ideals. 517-534
• 
  Douglas Cenzer, Geoffrey LaForte, Jeffrey B. Remmel: Equivalence structures and isomorphisms in the difference hierarchy. 535-556
• 
  Damir D. Dzhafarov, Carl G. Jockusch Jr.: Ramsey's theorem and cone avoidance. 557-578
• 
  Xianghui Shi: Projective prewellorderings vs projective wellfounded relations. 579-596
• 
  Ya'acov Peterzil: Returning to semi-bounded sets. 597-617
• 
  Serikzhan A. Badaev, Steffen Lempp: A decomposition of the Rogers semilattice of a family of d.c.e. sets. 618-640
• 
  Andrew D. Brooke-Taylor: Large cardinals and definable well-orders on the universe. 641-654
• 
  Yimu Yin: Henselianity and the Denef-Pas language. 655-664
• 
  Noam Greenberg, Joseph S. Miller: Lowness for Kurtz randomness. 665-678
• 
  Bernard A. Anderson: Automorphisms of the truth-table degrees are fixed on a cone. 679-688
• 
  Charles McCarty: Two questions from Dana Scott: Intuitionistic topologies and continuous functions. 689-692
• 
  Carl G. Jockusch Jr., Bart Kastermans, Steffen Lempp, Manuel Lerman, Reed Solomon: Stability and posets. 693-711
• 
  Kenneth Kunen, Dilip Raghavan: Gregory trees, the continuum, and Martin's axiom. 712-720

Volume 74, Number 3, September 2009

• 
  Koichiro Ikeda, Hirotaka Kikyo, Akito Tsuboi: On generic structures with a strong amalgamation property. 721-733
• 
  Moshe Kamensky: The model completion of the theory of modules over finitely generated commutative algebras. 734-750
• 
  Ralf Schindler, John R. Steel: The self-iterability of L[E]. 751-779
• 
  Nikolaos Galatos, Constantine Tsinakis: Equivalence of consequence relations: an order-theoretic and categorical perspective. 780-810
• 
  Robin Hirsch, Ian M. Hodkinson: Strongly representable atom structures of cylindric algebras. 811-828
• 
  Emil Jerábek: Approximate counting by hashing in bounded arithmetic. 829-860
• 
  Steven Awodey, Nicola Gambino, P. L. Lumsdaine, M. A. Warren: Lawvere - Tierney sheaves in Algebraic Set Theory. 861-890
• 
  Alessandro Berarducci: Cohomology of groups in o-minimal structures: acyclicity of the infinitesimal subgroup. 891-900
• 
  Chris Impens: Saturation and Sigma₂-transfer for ERNA. 901-913
• 
  John T. Baldwin, Alexei Kolesnikov, Saharon Shelah: The amalgamation spectrum. 914-928
• 
  Robert H. Gilman, Yuri Gurevich, Alexei D. Miasnikov: A geometric zero-one law. 929-938
• 
  Stephen A. Fenner, William I. Gasarch, Brian Postow: The complexity of learning SUBSEQ(A). 939-975
• 
  Pavel Hrubes: Kreisel's Conjecture with minimality principle. 976-988
• 
  Klaus Ambos-Spies, Decheng Ding, Wei Wang, Liang Yu: Bounding non-GL₂ and R.E.A. 989-1000
• 
  Miklós Maróti: The existence of a near-unanimity term in a finite algebra is decidable. 1001-1014
• 
  Gunter Fuchs: Combined Maximality Principles up to large cardinals. 1015-1046
• 
  John Chisholm, Ekaterina B. Fokina, Sergei S. Goncharov, Valentina S. Harizanov, Julia F. Knight, Sara Quinn: Intrinsic bounds on complexity and definability at limit levels. 1047-1060
• 
  Jörg Brendle, Michael Hrusák: Countable Fréchet Boolean groups: An independence result. 1061-1068
• 
  Sy-David Friedman, Menachem Magidor: The number of normal measures. 1069-1080

Volume 74, Number 4, December 2009

• 
  Matthew Foreman: Forbidden intervals. 1081-1099
• 
  Jeremy Avigad, Henry Towsner: Functional interpretation and inductive definitions. 1100-1120
• 
  H. Jerome Keisler, Wafik Boulos Lotfallah: Almost everywhere elimination of probability quantifiers. 1121-1142
• 
  David E. Evans, Mark Wing Ho Wong: Some remarks on generic structures. 1143-1154
• 
  Peter Koellner, W. Hugh Woodin: Incompatible Omega-complete theories. 1155-1170
• 
  Emil Jerábek: Canonical rules. 1171-1205
• 
  Arno Fehm, Wulf-Dieter Geyer: A note on defining transcendentals in function fields. 1206-1210
• 
  Moti Gitik, John Krueger: Approachability at the second successor of a singular cardinal. 1211-1224
• 
  Marcus Tressl: Heirs of box types in polynomially bounded structures. 1225-1263
• 
  David Diamondstone: Promptness does not imply superlow cuppability. 1264-1272
• 
  Greg Hjorth, Ioannis A. Souldatos: Independently axiomatizable L_{omega1, omega} theories. 1273-1286
• 
  Todd Eisworth, Saharon Shelah: Successors of singular cardinals and coloring theorems {II}. 1287-1309
• 
  Barbara F. Csima, Joseph R. Mileti: The strength of the rainbow Ramsey Theorem. 1310-1324
• 
  Russell Miller: d-computable categoricity for algebraic fields. 1325-1351
• 
  Rodney G. Downey, Bart Kastermans, Steffen Lempp: On computable self-embeddings of computable linear orderings. 1352-1366
• 
  Luca Alberucci, Alessandro Facchini: The modal µ-calculus hierarchy over restricted classes of transition systems. 1367-1400
• 
  Eyvind Martol Briseid: Logical aspects of rates of convergence in metric spaces. 1401-1428
• 
  John S. Wilson: First-order characterization of the radical of a finite group. 1429-1435
• 
  Anand Pillay, Wai Yan Pong: Corrigendum to: "On Lascar rank and Morley rank of definable groups in differentially closed fields". 1436-1437
• 
  Peter Cholak Jr., Theodore A. Slaman, Carl G. Jockusch Jr.: Corrigendum to: "On the strength of Ramsey's Theorem for pairs". 1438-1439

last updated on Sat May 25 06:28:13 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page