scientific article; zbMATH DE number 5250618

zbMath1140.03039MaRDI QIDQ5449700

Christoph Heinatsch

Publication date: 18 March 2008

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

\(\mu\)-calculusRamseyreverse mathematics\(R\)-calculus\(\Pi^1_2\)-comprehension\(\sigma\)-calculus

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35) Relative consistency and interpretations (03F25)

Related Items (1)

\({\Pi^1_2}\)-comprehension and the property of Ramsey

This page was built for publication: