Contents: Math. Log. Quart. 6/2009

Contents: Math. Log. Quart. 1/2009

📂 Article 📅 2009 🏛 John Wiley and Sons 🌐 English ⚖ 68 KB

Contents: Math. Log. Quart. 2/2009

📂 Article 📅 2009 🏛 John Wiley and Sons 🌐 English ⚖ 65 KB

Contents: Math. Log. Quart. 3/2009

📂 Article 📅 2009 🏛 John Wiley and Sons 🌐 English ⚖ 64 KB

## Indestructibility and stationary reflection If κ < λ are such that κ is a strong cardinal whose strongness is indestructible under κ-strategically closed forcing and λ is weakly compact, then we show that A = {δ < κ | δ is a non-weakly compact Mahlo cardinal reflecting stationary sets} must be

Contents: Math. Log. Quart. 4/2009

📂 Article 📅 2009 🏛 John Wiley and Sons 🌐 English ⚖ 59 KB

Contents: Math. Log. Quart. 5/2009

📂 Article 📅 2009 🏛 John Wiley and Sons 🌐 English ⚖ 84 KB

In this work we introduce a class of commutative rings whose defining condition is that its lattice of ideals, augmented with the ideal product, the semi-ring of ideals, is isomorphic to an MV-algebra. This class of rings coincides with the class of commutative rings which are direct sums of local A

Contents: Math. Log. Quart. 6/2008

📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 71 KB

On the Π 1 1 -separation principle We study the proof-theoretic strength of the Π 1 1 -separation axiom scheme, and we show that Π 1 1 -separation lies strictly in between the Δ 1 1 -comprehension and Σ 1 1 -choice axiom schemes over RCA 0 .