Albert Visser
- Lewisian Fixed Points I: Two Incomparable Constructions
2019/05/23 by Tadeusz Litak, Litak, Tadeusz, Albert Visser +1 · 1 citation
Computer Science · #Advanced Algebra and Logic #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
- Incompleteness of boundedly axiomatizable theories
2023/11/23 by Ali Enayat, Albert Visser, Enayat, Ali +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