Daheng Ju

1. Comparing Anti-foundation Axioms by Comparing Identity Conditions for Sets
   2024/12/08 by Daheng Ju, Ju, Daheng, Qihang Jing +1 · 1 citation
   Computer Science · #Constraint Satisfaction and Optimization #FOS: Mathematics #Logic (math.LO)
2. Frucht's theorem and other set-theoretic principles below the axiom of choice and the axiom of foundation
   2026/07/26 by Junhong Chen, Daheng Ju
   Mathematics · #math.LO #math.CO