Volume 77, Number 1, March 2012

• 
  Artem Chernikov, Itay Kaplan: Forking and dividing in NTP₂ theories. 1-20
• 
  Mingzhong Cai: Array nonrecursiveness and relative recursive enumerability. 21-32
• 
  Mingzhong Cai, Richard A. Shore: Domination, forcing, array nonrecursiveness and relative recursive enumerability. 33-48
• 
  Toshimichi Usuba: Splitting stationary sets in (λ). 49-62
• 
  Clifton Ealy, Isaac Goldbring: Thorn-forking in continuous logic. 63-93
• 
  Cédric Milliet: On properties of (weakly) small groups. 94-110
• 
  Gareth Boxall, Philipp Hieromyni: Expansions which introduce no new open sets. 111-121
• 
  Ekaterina B. Fokina, Sy-David Friedman, Valentina S. Harizanov, Julia F. Knight, Charles F. D. McCoy, Antonio Montalbán: Isomorphism relations on computable structures. 122-132
• 
  Hristo Ganchev, Mariya Ivanova Soskova: Cupping and definability in the local structure of the enumeration degrees. 133-158
• 
  Michael Hrusák, Ondrej Zindulka: Cardinal invariants of monotone and porous sets. 159-173
• 
  Timothy J. Carlson, Gunnar Wilken: Normal forms for elementary patterns. 174-194
• 
  M. E. Malliaris: Hypergraph sequences as a tool for saturation of ultrapowers. 195-223
• 
  Longyun Ding: Borel reducibility and Hölder(α) embeddability between Banach spaces. 224-244
• 
  Ian M. Hodkinson, Szabolcs Mikulás: On canonicity and completions of weakly representable relation algebras. 245-262
• 
  Pierre Simon: Finding generically stable measures. 263-278
• 
  Dima Sinapova: The tree property at ℵ_ω+1. 279-290
• 
  Frank Stephan, Jason Teutsch: An incomplete set of shortest descriptions. 291-307
• 
  David Fernández Duque: Dynamic topological logic of metric spaces. 308-328
• 
  Aaron Hill: The complexity of squares in the group of isometries of the Baire space. 329-336
• 
  David M. Evans, Marco S. Ferreira: The geometry of Hrushovski constructions, II. The strongly minimal case. 337-349
• 
  Olivier Finkel, Stevo Todorcevic: A hierarchy of tree-automatic structures. 350-368

Volume 77, Number 2, June 2012

• 
  Sonat Süer: On subgroups of the additive group in differentially closed fields. 369-391
• 
  Alexander Berenstein, Evgueni Vassiliev: Weakly one-based geometric theories. 392-422
• 
  Ahuva C. Shkop: Henson and Rubel's theorem for Zilber's pseudoexponentiation. 423-432
• 
  Chengling Fang, Guohua Wu: Nonhemimaximal degrees and the high/low hierarchy. 433-446
• 
  Chris J. Conidis: A real of strictly positive effective packing dimension that does not compute a real of effective packing dimension one. 447-474
• 
  Benjamin Claverie, Ralf Schindler: Woodin's axiom (*), bounded forcing axioms, and precipitous ideals on ω₁. 475-498
• 
  Vincent Guingona: On uniform definability of types over finite sets. 499-514
• 
  Tetsuya Ishiu, Paul B. Larson: Some results about (+) proved by iterated forcing. 515-531
• 
  Tetsuya Ishiu, Paul B. Larson: ℛ_max variations for separating club guessing principles. 532-544
• 
  Koushik Pal: Multiplicative valued difference fields. 545-579
• 
  Justin Brody, M. C. Laskowski: On rational limits of Shelah - Spencer graphs. 580-592
• 
  Alexis Bès, Alexander Rabinovich: On countable chains having decidable monadic theory. 593-608
• 
  Jiayi Liu: RT₂² does not imply WKL₀. 609-620
• 
  Raf Cluckers, Eva Leenknegt: A version of p-adic minimality. 621-630
• 
  Antongiulio Fornasiero, E. Vasquez Rifo: Hausdorff measure on o-minimal structures. 631-648
• 
  Zofia Adamowicz, Leszek Aleksander Kolodziejczyk, Jeff Paris: Truth definitions without exponentiation and the Σ₁ collection scheme. 649-655
• 
  Samuel R. Buss: Sharpened lower bounds for cut elimination. 656-668
• 
  Matthias Baaz, Stefan Hetzl, Daniel Weller: On the complexity of proof deskolemization. 669-686
• 
  Ernst-Erich Doberkat: A stochastic interpretation of propositional dynamic logic: expressivity. 687-716
• 
  Saharon Shelah, Pierre Simon: Adding linear orders. 717-725
• 
  Paola D'Aquino, Julia F. Knight, Sergei Starchenko: Corrigendum to: "Real closed fields and models of arithmetic". 726
• 
  Luc Bélair, Françoise Point: Corrigendum to: "Quantifier elimination in valued Ore modules". 727-728

Volume 77, Number 3, September 2012

• 
  Emanuel Kieronski, Martin Otto: Small substructures and decidability issues for first-order logic with two variables. 729-765
• 
  Shimon Garti, Saharon Shelah: A strong polarized relation. 766-776
• 
  Graham Emil Leigh, Michael Rathjen: The Friedman - Sheard programme in intuitionistic logic. 777-806
• 
  Saeed Salehi: Herbrand consistency of some arithmetical theories. 807-827
• 
  Murdoch James Gabbay: Finite and infinite support in nominal algebra and logic: nominal completeness theorems for free. 828-852
• 
  Ulrich Kohlenbach, Alexander Kreuzer: Term extraction and Ramsey's theorem for pairs. 853-895
• 
  Eugenio G. Omodeo, Alberto Policriti: The Bernays - Schönfinkel - Ramsey class for set theory: decidability. 896-918
• 
  Gregory L. Cherlin, Adrien Deloro: Small representations of SL₂ in the finite Morley rank category. 919-933
• 
  Dima Sinapova: The tree property and the failure of the Singular Cardinal Hypothesis at ℵ_ω². 934-946
• 
  David Fernández Duque: A sound and complete axiomatization for Dynamic Topological Logic. 947-969
• 
  Agi Kurucz, Sérgio Marcelino: Non-finitely axiomatisable two-dimensional modal logics. 970-986
• 
  Konstantin Slutsky: Non-genericity phenomena in ordered Fraïssé classes. 987-1010
• 
  Philipp Lücke: Σ¹₁-definability at uncountable regular cardinals. 1011-1046
• 
  Jan Cz. Dobrowolski, Krzysztof Krupinski: On ω-categorical, generically stable groups. 1047-1056

Volume 77, Number 4, December 2012

• 
  Özlem Beyarslan, Ehud Hrushovski: On algebraic closure in pseudofinite fields. 1057-1066
• 
  Brooke M. Andersen, Asher M. Kach, Alexander G. Melnikov, Reed Solomon: Jump degrees of torsion-free abelian groups. 1067-1100
• 
  David Asperó, Sy-David Friedman: Definable well-orders of $H(\omega _2)$ and $GCH$. 1101-1121
• 
  Farmer Schlutzenberg: Homogeneously Suslin sets in tame mice. 1122-1146
• 
  Nicolas Guzy, Françoise Point: Topological differential fields and dimension functions. 1147-1164
• 
  James H. Schmerl: A generalization of Sierpiński's paradoxical decompositions: Coloring semialgebraic grids. 1165-1183
• 
  Hristo Ganchev, Mariya Ivanova Soskova: Interpreting true arithmetic in the local structure of the enumeration degrees. 1184-1194
• 
  Andrew Polonsky: The range property fails for H. 1195-1210
• 
  Robin Hirsch, Marcel Jackson: Undecidability of representability as binary relations. 1211-1244
• 
  Predrag Tanovic: On Kueker's conjecture. 1245-1256
• 
  Sarah Cotter, Sergei Starchenko: Forking in VC-minimal theories. 1257-1271
• 
  Stephen Flood: Reverse mathematics and a Ramsey-type König's Lemma. 1272-1280
• 
  Bernhard König, Yasuo Yoshinobu: Kurepa trees and Namba forcing. 1281-1290
• 
  R. Elageili, J. K. Truss: Finitely generated free Heyting algebras: the well-founded initial segment. 1291-1307
• 
  Francesco Ciraulo, Giovanni Sambin: A constructive Galois connection between closure and interior. 1308-1324
• 
  Todd Eisworth: Simultaneous reflection and impossible ideals. 1325-1338

last updated on Thu May 23 02:33:16 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page