1 citations · 1 across the 3 of their papers we have counts for
3 papers
math.LO2024
Choice and independence of premise rules in intuitionistic set theory
Emanuele Frittaion, Takako Nemoto, Michael Rathjen
Choice and independence of premise principles play an important role in characterizing Kreisel's modified realizability and Gödel's Dialectica interpretation. In this paper we show…
math.LO2019★ 1 cited
The independence of premise rule in intuitionistic set theories
Takako Nemoto, Michael Rathjen
Independence of premise principles play an important role in characterizing the modified realizability and the Dialectica interpretations. In this paper we show that a great many i…
math.LO2019
Equivalents of the finitary non-deterministic inductive definitions
Ayana Hirata, Hajime Ishihara, Tatsuji Kawai +1
We present statements equivalent to some fragments of the principle of non-deterministic inductive definitions (NID) by van den Berg (2013), working in a weak subsystem of construc…