- 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