In philosophy and mathematics, people talk of something being nonfirstorderizable. But in all the texts I have seen, there is no formal definition of that concept. So, is there a formal definition of nonfirstorderizable somewhere?
Asked
Active
Viewed 42 times
0
-
https://math.stackexchange.com/questions/46656/why-is-topology-nonfirstorderizable The user @CarlMummert gives an awesome answer here – Guillermo García Sáez Jun 21 '22 at 18:46
-
2Have you checked the Wikipedia article? https://en.wikipedia.org/wiki/Nonfirstorderizability – Qiaochu Yuan Jun 21 '22 at 19:08