vix.ing · top · new · best · stats · spec

Fiori-Carones, Marta

  1. An isomorphism theorem for models of Weak König's Lemma without primitive recursion
    2021/12/20 by Fiori-Carones, Marta, Kołodziejczyk, Leszek Aleksander, Wong, Tin Lok +1 · 4 citations
    #03B30 #03C10 #03C62 #03F30 #03F35 #03H15 #FOS: Mathematics #Logic (math.LO)