1 citations · 1 across the 1 of their papers we have counts for
1 paper
José Goudet Alvim, Arthur Francisco Schwerz Cahali, Hugo Luiz Mariano
To the best of our knowledge, there are very few results on how Heyting-valued models are affected by the morphisms on the complete Heyting algebras that determine them: the only c…