Archive for Mathematical Logic, Volume 47

Volume 47, Number 1, June 2008

• Charalampos Cornaros, Costas Dimitracopoulos:
  On two problems concerning end extensions. 1-14
  Electronic Edition (link) BibTeX
• Hector Freytes:
  Pavelka-style completeness in expansions of Lukasiewicz logic. 15-23
  Electronic Edition (link) BibTeX
• J. Patricio Díaz Varela:
  Free Lukasiewicz implication algebras. 25-33
  Electronic Edition (link) BibTeX
• Pavel Naumov:
  On meta complexity of propositional formulas and propositional proofs. 35-52
  Electronic Edition (link) BibTeX
• Moti Gitik:
  On a question of Pereira. 53-64
  Electronic Edition (link) BibTeX
• Arthur W. Apter, James Cummings:
  An L-like model containing very large cardinals. 65-78
  Electronic Edition (link) BibTeX
• Teruyuki Yorioka:
  Some weak fragments of Martin's axiom related to the rectangle refining property. 79-90
  Electronic Edition (link) BibTeX

Volume 47, Number 2, July 2008

• Fernando Ferreira, Gilda Ferreira:
  Harrington's conservation theorem redone. 91-100
  Electronic Edition (link) BibTeX
• Arthur W. Apter:
  Indestructibility and measurable cardinals with few and many measures. 101-110
  Electronic Edition (link) BibTeX
• Rumen Dimitrov:
  A class of S₃⁰{Sigmas₃⁰} modular lattices embeddable as principal filters in L^*(V_JPY)L^{\ast}(V^infinity). 111-132
  Electronic Edition (link) BibTeX
• Arthur W. Apter, Grigor Sargsyan:
  Universal indestructibility for degrees of supercompactness and strongly compact cardinals. 133-142
  Electronic Edition (link) BibTeX
• Laurence Kirby:
  A hierarchy of hereditarily finite sets. 143-157
  Electronic Edition (link) BibTeX
• Masahiro Kumabe, Toshio Suzuki, Takeshi Yamazaki:
  Does truth-table of linear norm reduce the one-query tautologies to a random oracle? 159-180
  Electronic Edition (link) BibTeX

Volume 47, Number 3, July 2008

• Matthew B. Giorgi:
  A high noncuppable S⁰₂e-degree. 181-191
  Electronic Edition (link) BibTeX
• Michael Hrusák, M. Sanchis, Á. Tamariz-Mascarúa:
  Ultrafilters and non-Cantor minimal sets in linearly ordered dynamical systems. 193-203
  Electronic Edition (link) BibTeX
• Carl Mummert:
  Subsystems of second-order arithmetic between RCA₀ and WKL₀. 205-210
  Electronic Edition (link) BibTeX
• Asher M. Kach:
  Computable shuffle sums of ordinals. 211-219
  Electronic Edition (link) BibTeX
• Maria L. Affatato, Thomas F. Kent, Andrea Sorbi:
  Branching in the S⁰₂{Sigma⁰₂}-enumeration degrees: a new perspective. 221-231
  Electronic Edition (link) BibTeX
• George Georgescu:
  Fuzzy power structures. 233-261
  Electronic Edition (link) BibTeX
• Vincenzo Marra:
  A characterization of MV-algebras free over finite distributive lattices. 263-276
  Electronic Edition (link) BibTeX
• Jirí Rachunek, Dana Salounová:
  Monadic GMV-algebras. 277-297
  Electronic Edition (link) BibTeX

Volume 47, Number 4, August 2008

• Albert Visser:
  Pairs, sets and sequences in first-order theories. 299-326
  Electronic Edition (link) BibTeX
• Vincent Astier:
  Elementary equivalence of some rings of definable functions. 327-340
  Electronic Edition (link) BibTeX
• S. Barry Cooper, Angsheng Li:
  On Lachlan's major sub-degree problem. 341-434
  Electronic Edition (link) BibTeX

Volume 47, Number 5, August 2008

• San-min Wang, Petr Cintula:
  Logics with disjunction and proof by cases. 435-446
  Electronic Edition (link) BibTeX
• Ali Enayat, Shahram Mohsenipour:
  Model theory of the regularity and reflection schemes. 447-464
  Electronic Edition (link) BibTeX
• Steven Awodey, Andrej Bauer:
  Sheaf toposes for realizability. 465-478
  Electronic Edition (link) BibTeX
• Jakub Gismatullin, Ludomir Newelski:
  G-compactness and groups. 479-501
  Electronic Edition (link) BibTeX
• Jakob Kellner:
  Even more simple cardinal invariants. 503-515
  Electronic Edition (link) BibTeX
• Luís Pereira:
  Applications of the topological representation of the pcf-structure. 517-527
  Electronic Edition (link) BibTeX

Volume 47, Number 6, September 2008

• Peter Koepke, Ryan Siders:
  Register computations on ordinals. 529-548
  Electronic Edition (link) BibTeX
• Kosta Dosen, Zoran Petric:
  Equality of proofs for linear equality. 549-565
  Electronic Edition (link) BibTeX
• Stefan Geschke:
  Potential continuity of colorings. 567-578
  Electronic Edition (link) BibTeX
• Chaz Schlindwein:
  Shelah's work on non-semi-proper iterations, I. 579-606
  Electronic Edition (link) BibTeX
• Andrey Bovykin:
  Resplendent models and S₁¹{\Sigma_1^1} -definability with an oracle. 607-623
  Electronic Edition (link) BibTeX
• Olivier Finkel:
  Topological complexity of locally finite omega -languages. 625-651
  Electronic Edition (link) BibTeX

Volume 47, Numbers 7-8, November 2008

• Noboru Osuga, Shizuo Kamo:
  The cardinal coefficients of the Ideal I_f. 653-671
  Electronic Edition (link) BibTeX
• Janusz Pawlikowski, Marcin Sabok:
  Two stars. 673-676
  Electronic Edition (link) BibTeX
• Harold Simmons:
  Fruitful and helpful ordinal functions. 677-709
  Electronic Edition (link) BibTeX
• Natasha Dobrinen, Sy D. Friedman:
  Homogeneous iteration and measure one covering relative to HOD. 711-718
  Electronic Edition (link) BibTeX
• Michael Hrusák, Jindrich Zapletal:
  Forcing with quotients. 719-739
  Electronic Edition (link) BibTeX
• Luca Spada:
  LPi logic with fixed points. 741-763
  Electronic Edition (link) BibTeX
• Grigor Sargsyan:
  On HOD-supercompactness. 765-768
  Electronic Edition (link) BibTeX
• Arthur W. Apter, Peter Koepke:
  Making all cardinals almost Ramsey. 769-783
  Electronic Edition (link) BibTeX