- A Gentle Introduction to the Axiom of Choice
2025/09/01 by Andreas Blass, Blass, Andreas, Dhruv Kulshreshtha +1 · 1 voice
Mathematics · #03-01 #03E25 #FOS: Mathematics #Logic (math.LO) #math.LO
- The CSP Dichotomy, the Axiom of Choice, and Cyclic Polymorphisms
2023/09/30 by Tamás Kátay, László Márton Tóth, Kátay, Tamás +3 · 1 citation
Biochemistry, Genetics and Molecular Biology · Computer Science · #03E25 #68Q17 #Advanced Graph Theory Research #Computational Complexity (cs.CC) #Constraint Satisfaction and Optimization #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Ubiquitin and proteasome pathways
- Frucht's Theorem without Choice
2023/05/19 by Pinsky, Brian · 1 citation
#03E25 #03E35 #03E70 #05C25 #20A10 #FOS: Mathematics #Logic (math.LO)
- Choice-free duality for orthocomplemented lattices by means of spectral spaces
2020/10/14 by McDonald, Joseph, Yamamoto, Kentaro · 1 citation
#03E25 #06C15 #06E15 #FOS: Mathematics #Logic (math.LO)
- Extenders under ZF and constructibility of rank-to-rank embeddings
2020/06/17 by Farmer Schlutzenberg, Schlutzenberg, Farmer · 1 citation
Mathematics · #03E25 #03E45 #03E55 #Advanced Topology and Set Theory #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Logic (math.LO) #Rings, Modules, and Algebras