Archive for Mathematical Logic, Volume 47

Volume 47, Number 1, June 2008

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

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

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

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

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

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

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