Ali Enayat
- Variations on a Visserian Theme
2017/02/23 by Ali Enayat, Enayat, Ali · 3 citations
Computer Science · Mathematics · #03C62 #Advanced Algebra and Logic #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO)
- Incompleteness of boundedly axiomatizable theories
2023/11/23 by Ali Enayat, Enayat, Ali, Albert Visser +1 · 1 citation
Computer Science · Economics, Econometrics and Finance · #03F40 #Advanced Algebra and Logic #FOS: Mathematics #Game Theory and Voting Systems #Logic (math.LO) #Logic, Reasoning, and Knowledge