Supercompactness and level by level equivalence are compatible with indestructibility for strong compactness Arthur W. Apter OriginalPaper 14 February 2007 Pages: 155 - 163
Universal forcing notions and ideals Andrzej RosłanowskiSaharon Shelah OriginalPaper 24 February 2007 Pages: 179 - 196
A covering lemma for \({K(\mathbb {R})}\) Daniel W. Cunningham OriginalPaper 14 February 2007 Pages: 197 - 221
Light affine lambda calculus and polynomial time strong normalization Kazushige Terui OriginalPaper 21 February 2007 Pages: 253 - 280
Distinguishing non-standard natural numbers in a set theory within Łukasiewicz logic Shunsuke Yatabe OriginalPaper 21 February 2007 Pages: 281 - 287
Hilbert spaces with generic groups of automorphisms Alexander Berenstein OriginalPaper 21 February 2007 Pages: 289 - 299
NP-containment for the coherence test of assessments of conditional probability: a fuzzy logical approach Tommaso Flaminio OriginalPaper 21 February 2007 Pages: 301 - 319
On the definable ideal generated by the plus cupping c.e. degrees Wei WangDecheng Ding OriginalPaper 21 February 2007 Pages: 321 - 346