Volume 45, Number 1, January 2006

• 
  Jeffry L. Hirst: Reverse mathematics of separably closed sets. 1-2
• 
  Radim Belohlávek, Vilém Vychodil: Fuzzy Horn logic I. 3-51
• 
  Peter Koepke, Ralf Schindler: Homogeneously Souslin sets in small inner models. 53-61
• 
  Tapani Hyttinen: Uncountably categorical local tame abstract elementary classes with disjoint amalgamation. 63-73
• 
  Saverio Cittadini, Carlo Toffalori: On pairs of free modules over a Dedekind domain. 75-95
• 
  Paul Bankston: The Chang-Los-Suszko theorem in a topological setting. 97-112

Volume 45, Number 2, February 2006

• 
  Mirjana Borisavljevic: A Connection Between Cut Elimination and Normalization. 113-148
• 
  Radim Belohlávek, Vilém Vychodil: Fuzzy Horn logic II. 149-177
• 
  Sebastiaan Terwijn: The Medvedev lattice of computably closed sets. 179-190
• 
  Ioana Leustean: Non-commutative Lukasiewicz propositional logic. 191-213
• 
  Antonio Montalbán: There is no ordering on the classes in the generalized high/low hierarchies. 215-231
• 
  Liang Yu: Lowness for genericity. 233-238
• 
  Daniele Mundici: A Characterization of the free n-generated MV-algebra. 239-247

Volume 45, Number 3, March 2006

• 
  V. Baleva: The jump operation for structure degrees. 249-265
• 
  Alexej P. Pynko: A relative interpolation theorem for infinitary universal Horn logic and its applications. 267-305
• 
  Arthur W. Apter, Grigor Sargsyan: Identity crises and strong compactness III: Woodin cardinals. 307-322
• 
  Armin Hemmerling: The Hausdorff-Ershov Hierarchy in Euclidean Spaces. 323-350
• 
  Luminita Simona Vîta: Extending strongly continuous functions between apartness spaces. 351-356
• 
  Karim Nour, Khelifa Saber: A semantical proof of the strong normalization theorem for full propositional classical natural deduction. 357-364
• 
  Yongcheng Wu, Decheng Ding: Computability of measurable sets via effective topologies. 365-379

Volume 45, Number 4, May 2006

• 
  Tomás Kroupa: Representation and extension of states on MV-algebras. 381-392
• 
  Stephen Binns: Small Pi⁰₁ Classes. 393-410
• 
  Roy Dyckhoff, Sara Negri: Decision methods for linearly ordered Heyting algebras. 411-422
• 
  Predrag Tanovic: On constants and the strict order property. 423-430
• 
  Pavel Naumov: Upper bounds on complexity of Frege proofs with limited use of certain schemata. 431-446
• 
  Matthias Baaz, Georg Moser: Herbrand's theorem and term induction. 447-503
• 
  Boris Solon: C-Quasi-Minimal enumeration degrees below c'. 505-517

Volume 45, Number 5, July 2006

• 
  Peter Cholak, Richard A. Shore, Reed Solomon: A computably stable structure with no Scott family of finitary formulas. 519-538
• 
  Albert Visser, Maartje de Jonge: No Escape from Vardanyan's theorem. 539-554
• 
  Linda Lawton: Almost complemented Pi⁰₁ classes. 555-568
• 
  Blanka Kozlíková, Vitezslav Svejdar: On interplay of quantifiers in Gödel-Dummett fuzzy logics. 569-580
• 
  Rosalie Iemhoff: On the rules of intermediate logics. 581-599
• 
  Dumitru Daniel Dragulici: Conservative extension of polyadic MV-algebras to polyadic pavelka algebras. 601-613
• 
  Félix Bou, Àngel García-Cerdaña, Ventura Verdú: On two fragments with negation and without implication of the logic of residuated lattices. 615-647

Volume 45, Number 6, August 2006

• 
  Jakob Kellner: Preserving Non-null with Suslin⁺ Forcings. 649-664
• 
  Frank Niedermeyer, Saharon Shelah, Karsten Steffens: The f-factor Problem for Graphs and the Hereditary Property. 665-672
• 
  Petr Cintula: Weakly Implicative (Fuzzy) Logics I: Basic Properties. 673-704
• 
  Alex Hellsten: Orders of Indescribable Sets. 705-714
• 
  Rod Downey, Liang Yu: Arithmetical Sacks Forcing. 715-720
• 
  Arthur W. Apter, Peter Koepke: The Consistency Strength of À_w and À_w1 Being Rowbottom Cardinals Without the Axiom of Choice. 721-737
• 
  Nick Peatfield: An Analytic Zariski Structure Over a Field. 739-768
• 
  Bakhadyr Khoussainov, Theodore A. Slaman, Pavel Semukhin: P⁰₁-Presentations of Algebras. 769-781

Volume 45, Number 7, October 2006

• 
  Andrés Eduardo Caicedo, Ralf Schindler: Projective Well-orderings of the Reals. 783-793
• 
  Martin Hofmann, Jaap van Oosten, Thomas Streicher: Well-foundedness in Realizability. 795-805
• 
  Gunnar Wilken: The Bachmann-Howard Structure in Terms of Sigma₁-Elementarity. 807-829
• 
  Arthur W. Apter: Failures of SCH and Level by Level Equivalence. 831-838
• 
  Josep Maria Font, Àngel J. Gil, Antoni Torrens, Ventura Verdú: On the infinite-valued Lukasiewicz logic that preserves degrees of truth. 839-868
• 
  Roland Sh. Omanadze, Andrea Sorbi: Strong Enumeration Reducibilities. 869-912

Volume 45, Number 8, November 2006

• 
  Majid Alizadeh, Mohammad Ardeshir: Amalgamation property for the class of basic algebras and some of its natural subclasses. 913-930
• 
  Alfred Dolich, Michael C. Laskowski, Alexander Raichev: Model completeness for trivial, uncountably categorical theories of Morley rank 1. 931-945
• 
  George Georgescu, Andrei Popescu: A common generalization for MV-algebras and Lukasiewicz-Moisil algebras. 947-981
• 
  Marcus Tressl: Pseudo completions and completions in stages of o-minimal structures. 983-1009
• 
  J. Patricio Díaz Varela, Antoni Torrens Torrell: Decomposability of free Lukasiewicz implication algebras. 1011-1020
• 
  Philip Kremer: The modal logic of continuous functions on cantor space. 1021-1032

last updated on Sat May 18 05:48:08 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page