Archive for Mathematical Logic, Volume 51

Volume 51, Numbers 1-2, February 2012

• Alexander Citkin:
  A note on admissible rules and the disjunction property in intermediate logics. 1-14
  
• Enrico Marchioni:
  Amalgamation through quantifier elimination for varieties of commutative residuated lattices. 15-34
  
• Erik Palmgren:
  Proof-relevance of families of setoids and identity in type theory. 35-47
  
• Jakob Kellner, Saharon Shelah:
  Creature forcing and large continuum: the joy of halving. 49-70
  
• Roy Dyckhoff, Sara Negri:
  Proof analysis in intermediate logics. 71-92
  
• Aleksander Ivanov:
  Degrees of isomorphism types and countably categorical groups. 93-98
  
• Sam Sanders, Keita Yokoyama:
  The Dirac delta function in two settings of Reverse Mathematics. 99-121
  
• Jeffry L. Hirst:
  Hilbert versus Hindman. 123-125
  
• Lew Gordeev, Andreas Weiermann:
  Phase transitions of iterated Higman-style well-partial-orderings. 127-161
  
• Daniele Marsibilio, Andrea Sorbi:
  Bounded enumeration reducibility and its degree structure. 163-186
  
• Piotr Borodulin-Nadzieja, Barnabás Farkas:
  Cardinal coefficients associated to certain orders on ideals. 187-202
  
• Koichiro Ikeda:
  Ab initio generic structures which are superstable but not ω-stable. 203-211
  

Volume 51, Numbers 3-4, May 2012

• Joan Bagaria:
  C(n)-cardinals. 213-240
  
• Kerkko Luosto:
  On vectorizations of unary generalized quantifiers. 241-255
  
• Arthur W. Apter, Victoria Gitman, Joel David Hamkins:
  Inner models with large cardinal features usually obtained by forcing. 257-283
  
• San-Min Wang, Daowu Pei:
  On an axiomatic system for the logic of linearly ordered BCI-matrices. 285-297
  
• Sy-David Friedman, Tapani Hyttinen:
  On Borel equivalence relations in generalized Baire space. 299-304
  
• Jörg Brendle, Diana Carolina Montoya:
  A base-matrix lemma for sets of rationals modulo nowhere dense sets. 305-317
  
• Daniel W. Cunningham:
  Scales of minimal complexity in KR. 319-351
  
• Michael Cox, Richard Kaye:
  Amphi-ZF : axioms for Conway games. 353-371
  
• Charles M. Harris:
  Badness and jump inversion in the enumeration degrees. 373-406
  
• Paul Shafer:
  Menger's theorem in Π¹₁-CA₀. 407-423
  
• Pierre Matet:
  Non-saturation of the nonstationary ideal on P κ (λ) in case κ ≤ cf (λ) < λ. 425-432
  
• Philipp Lücke, Saharon Shelah:
  External automorphisms of ultraproducts of finite models. 433-441
  

Volume 51, Numbers 5-6, August 2012

• Joan Rand Moschovakis, Garyfallia Vafeiadou:
  Some axioms for constructive analysis. 443-459
  
• João Araújo, Janusz Konieczny:
  A method for finding new sets of axioms for classes of semigroups. 461-474
  
• William R. Stirton:
  How to assign ordinal numbers to combinatory terms with polymorphic types. 475-501
  
• Roland Sh. Omanadze, Irakli O. Chitaia:
  Q 1-degrees of c.e. sets. 503-515
  
• Douglas S. Bridges:
  Compactness notions for an apartness space. 517-534
  
• Michael Soltys:
  Proving properties of matrices over Z₂. 535-551
  
• Dima Sinapova:
  The tree property and the failure of SCH at uncountable cofinality. 553-562
  
• Barbara Majcher-Iwanow:
  Polish group actions and effectivity. 563-573
  
• Yoshihiro Abe, Toshimichi Usuba:
  Notes on the partition property of P_κλ. 575-589
  
• Koichiro Ikeda, Hirotaka Kikyo:
  On superstable generic structures. 591-600
  
• Laura Fontanella:
  Strong tree properties for two successive cardinals. 601-620
  
• Sy-David Friedman, Mohammad Golshani:
  Independence of higher Kurepa hypotheses. 621-633
  
• Spencer Unger:
  Fragility and indestructibility of the tree property. 635-645
  
• James H. Schmerl:
  The automorphism group of a resplendent model. 647-649
  
• Alberto Marcone, Antonio Montalbán, Richard A. Shore:
  Computing maximal chains. 651-660
  
• Guram Bezhanishvili, Joel Lucero-Bryan:
  Subspaces of Q whose d-logics do not have the FMP. 661-670
  

Volume 51, Numbers 7-8, November 2012

• Daisuke Ikegami, David de Kloet, Benedikt Löwe:
  The axiom of real Blackwell determinacy. 671-685
  
• Hannes Diener:
  Reclassifying the antithesis of Specker's theorem. 687-693
  
• Hadi Farahani, Hiroakira Ono:
  Glivenko theorems and negative translations in substructural predicate logics. 695-707
  
• Daniel Palacín:
  On omega-categorical simple theories. 709-717
  
• Sándor Jenei, Hiroakira Ono:
  On involutive FL e -monoids. 719-738
  
• Marianne Morillon:
  Some consequences of Rado's selection lemma. 739-749
  
• François G. Dorais:
  A variant of Mathias forcing that preserves $${\mathsf{ACA}_0}$$. 751-780
  
• Oleg V. Belegradek:
  Homogeneity in relatively free groups. 781-787
  
• Ray-Ming Chen, Michael Rathjen:
  Lifschitz realizability for intuitionistic Zermelo-Fraenkel set theory. 789-818
  
• Arthur W. Apter:
  On some questions concerning strong compactness. 819-829
  
• Ramon Jansana:
  Algebraizable logics with a strong conjunction and their semi-lattice based companions. 831-861
  
• Eilon Bilinsky, Moti Gitik:
  A model with a measurable which does not carry a normal measure. 863-876
  

Last update Tue May 21 18:20:56 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page