The Journal of Symbolic Logic, Volume 77
Volume 77, Number 1, March 2012
- 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
- Cédric Milliet: On properties of (weakly) small groups. 94-110
- 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
- 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
- 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
Volume 77, Number 2, June 2012
- Sonat Süer: On subgroups of the additive group in differentially closed fields. 369-391
- Ahuva C. Shkop: Henson and Rubel's theorem for Zilber's pseudoexponentiation. 423-432
- 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
- Koushik Pal: Multiplicative valued difference fields. 545-579
- Jiayi Liu: RT₂² does not imply WKL₀. 609-620
- 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
- Ernst-Erich Doberkat: A stochastic interpretation of propositional dynamic logic: expressivity. 687-716
- 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
- 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
- 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 SL2 in the finite Morley rank category. 919-933
- Dima Sinapova: The tree property and the failure of the Singular Cardinal Hypothesis at ℵω2. 934-946
- David Fernández Duque: A sound and complete axiomatization for Dynamic Topological Logic. 947-969
- Konstantin Slutsky: Non-genericity phenomena in ordered Fraïssé classes. 987-1010
- Philipp Lücke: Σ11-definability at uncountable regular cardinals. 1011-1046
Volume 77, Number 4, December 2012
- Brooke M. Andersen, Asher M. Kach, Alexander G. Melnikov, Reed Solomon: Jump degrees of torsion-free abelian groups. 1067-1100
- Farmer Schlutzenberg: Homogeneously Suslin sets in tame mice. 1122-1146
- 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
- Predrag Tanovic: On Kueker's conjecture. 1245-1256
- Stephen Flood: Reverse mathematics and a Ramsey-type König's Lemma. 1272-1280
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team