scientific article; zbMATH DE number 6307938
From MaRDI portal
Publication:4981453
zbMath1306.03027MaRDI QIDQ4981453
Publication date: 24 June 2014
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Foundations of classical theories (including reverse mathematics) (03B30) Other constructive mathematics (03F65) Second- and higher-order arithmetic and fragments (03F35)
Related Items (3)
Realizability Models Separating Various Fan Theorems ⋮ König's lemma, weak König's lemma, and the decidable fan theorem ⋮ An extension of the equivalence between Brouwer's fan theorem and weak König's lemma with a uniqueness hypothesis
This page was built for publication: