Archive for Mathematical Logic, Volume 45

Volume 45, Number 1, January 2006

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

Volume 45, Number 2, February 2006

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

Volume 45, Number 3, March 2006

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

Volume 45, Number 4, May 2006

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

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
  Electronic Edition (link) BibTeX
• Albert Visser, Maartje de Jonge:
  No Escape from Vardanyan's theorem. 539-554
  Electronic Edition (link) BibTeX
• Linda Lawton:
  Almost complemented Pi⁰₁ classes. 555-568
  Electronic Edition (link) BibTeX
• Blanka Kozlíková, Vitezslav Svejdar:
  On interplay of quantifiers in Gödel-Dummett fuzzy logics. 569-580
  Electronic Edition (link) BibTeX
• Rosalie Iemhoff:
  On the rules of intermediate logics. 581-599
  Electronic Edition (link) BibTeX
• Dumitru Daniel Dragulici:
  Conservative extension of polyadic MV-algebras to polyadic pavelka algebras. 601-613
  Electronic Edition (link) BibTeX
• 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
  Electronic Edition (link) BibTeX

Volume 45, Number 6, August 2006

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

Volume 45, Number 7, October 2006

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

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
  Electronic Edition (link) BibTeX
• Alfred Dolich, Michael C. Laskowski, Alexander Raichev:
  Model completeness for trivial, uncountably categorical theories of Morley rank 1. 931-945
  Electronic Edition (link) BibTeX
• George Georgescu, Andrei Popescu:
  A common generalization for MV-algebras and Lukasiewicz-Moisil algebras. 947-981
  Electronic Edition (link) BibTeX
• Marcus Tressl:
  Pseudo completions and completions in stages of o-minimal structures. 983-1009
  Electronic Edition (link) BibTeX
• J. Patricio Díaz Varela, Antoni Torrens Torrell:
  Decomposability of free Lukasiewicz implication algebras. 1011-1020
  Electronic Edition (link) BibTeX
• Philip Kremer:
  The modal logic of continuous functions on cantor space. 1021-1032
  Electronic Edition (link) BibTeX