Contents: Math. Log. Quart. 1/2011

Contents: (Math. Log. Quart. 2/2011)

📂 Article 📅 2011 🏛 John Wiley and Sons 🌐 English ⚖ 49 KB

## Ordinal arithmetic with simultaneously defined theta-functions This article provides a detailed comparison between two systems of collapsing functions. These functions play a crucial role in proof theory, in the analysis of patterns of resemblance, and the analysis of maximal order types of wel

Contents: (Math. Log. Quart. 3/2011)

📂 Article 📅 2011 🏛 John Wiley and Sons 🌐 English ⚖ 252 KB

Contents: (Math. Log. Quart. 4/2011)

📂 Article 📅 2011 🏛 John Wiley and Sons 🌐 English ⚖ 48 KB

Contents: (Math. Log. Quart. 5/2011)

📂 Article 📅 2011 🏛 John Wiley and Sons 🌐 English ⚖ 75 KB

Contents: (Math. Log. Quart. 6/2011)

📂 Article 📅 2011 🏛 John Wiley and Sons 🌐 English ⚖ 264 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