Amir, Djamel Eddine

1. Strong computable type
   2022/10/15 by Amir, Djamel Eddine, Hoyrup, Mathieu · 4 citations
   #03D78 #54C20 #54C55 (Secondary) #54H05 (Primary) #55Pxx #Algebraic Topology (math.AT) #F.1.1 #F.4.1 #FOS: Mathematics #General Topology (math.GN) #Logic (math.LO)
2. Computability of finite simplicial complexes
   2022/02/10 by Amir, Djamel Eddine, Hoyrup, Mathieu · 1 citation
   #03D78 #54C55 (Secondary) #55U10 (Primary) 54C20 #Algebraic Topology (math.AT) #F.1.1 #F.4.1 #FOS: Mathematics #General Topology (math.GN) #Logic (math.LO)
3. The surjection property and computable type
   2023/06/26 by Amir, Djamel Eddine, Hoyrup, Mathieu · 1 citation
   #03D78 #54C20 #55M99 #Algebraic Topology (math.AT) #F.1.1 #F.4.1 #FOS: Mathematics #General Topology (math.GN) #Logic (math.LO)