Publication:4981453
From MaRDI portal
zbMath1306.03027MaRDI QIDQ4981453
Publication date: 24 June 2014
Foundations of classical theories (including reverse mathematics) (03B30) Other constructive mathematics (03F65) Second- and higher-order arithmetic and fragments (03F35)
Related Items
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