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

Contents: Math. Log. Quart. 1/2011

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

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/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 .