Visser, Albert

1. The Small-Is-Very-Small Principle
   2018/05/03 by Visser, Albert · 3 citations
   #03C62 #03F30 #03F40 #03H15 #FOS: Mathematics #Logic (math.LO)
2. Lewisian Fixed Points I: Two Incomparable Constructions
   2019/05/23 by Tadeusz Litak, Albert Visser, Litak, Tadeusz +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
3. When Bi-interpretability implies Synonymy
   2025/06/01 by Friedman, Harvey M., Visser, Albert · 5 citations
   #03A05 #03B30 #03F25 #FOS: Mathematics #Logic (math.LO)
4. Incompleteness of boundedly axiomatizable theories
   2023/11/23 by Enayat, Ali, Visser, Albert · 1 citation
   #03F40 #FOS: Mathematics #Logic (math.LO)
5. There are no minimal essentially undecidable Theories
   2022/07/17 by Fedor Pakhomov, Pakhomov, Fedor, Murwanashyaka, Juvenal +1 · 1 citation
   Arts and Humanities · Computer Science · #03F2 #03F30 #03F40 #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge #Philosophy and History of Science