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

1. Frucht's Theorem without Choice
   2023/05/19 by Pinsky, Brian · 1 citation
   #03E25 #03E35 #03E70 #05C25 #20A10 #FOS: Mathematics #Logic (math.LO)
2. Non-tightness in class theory and second-order arithmetic
   2022/12/08 by Freire, Alfredo Roque, Williams, Kameryn J. · 1 citation
   #03C62 #03E70 #03H15 #FOS: Mathematics #Logic (math.LO)
3. Twist-Valued Models for Three-valued Paraconsistent Set Theory
   2019/11/26 by Carnielli, Walter, Coniglio, Marcelo E. · 1 citation
   #03E40 #03E70 #FOS: Mathematics #Logic (math.LO)
4. From type theory to setoids and back
   2019/09/03 by Palmgren, Erik · 2 citations
   #03B15 #03B35 #03E70 #03F50 #FOS: Mathematics #Logic (math.LO)
5. The Structure of Models of Second-order Set Theories
   2018/04/25 by Kameryn J. Williams, Williams, Kameryn J · 1 citation
   Computer Science · Mathematics · #03E70 #Advanced Topology and Set Theory #Benford’s Law and Fraud Detection #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO)