Browsing All posts tagged under »undefinability theorem«

F ⊢ Tr(⌈A⌉) ↔ A

December 10, 2015

0

Lords of C.