Editorial: Math. Log. Quart. 2/2008

Editorial: Math. Log. Quart. 1/2008

✍ Special issue editor Josef Berger; Special issue editor Dirk Pattinson; Special 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 19 KB

Editorial: Math. Log. Quart. 5/2008

✍ Vasco Brattka; Hajime Ishihara; Matthias Schröder; Ning Zhong 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 16 KB

Contents: Math. Log. Quart. 2/2008

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

Contents: Math. Log. Quart. 1/2008

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

## The Relation Reflection Scheme We introduce a new axiom scheme for constructive set theory, the Relation Reflection Scheme (RRS). Each instance of this scheme is a theorem of the classical set theory ZF. In the constructive set theory CZF -, when the axiom scheme is combined with the axiom of D

Contents: Math. Log. Quart. 3/2008

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

Contents: Math. Log. Quart. 4/2008

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

## Groupwise density cannot be much bigger than the unbounded number We prove that g (the groupwise density number) is smaller or equal to b + , the successor of the minimal cardinality of an unbounded subset of ω ω. This is true even for the version of g for groupwise dense ideals.