= 27d567bc2d48d9f40e9ccc20ea370b15)
Stuart_Armstrong comments on Second order logic, in first order set-theory: what gives? - Less Wrong Discussion
You are viewing a comment permalink. View the original post to see all comments and the full post content.
= 783df68a0f980790206b9ea87794c5b6)
Loading…= b715d02e85f7b3b4ae65ca3d3e450868)
Subscribe to RSS Feed
Powered by Reddit
= f037147d6e6c911a85753b9abdedda8d)
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (19)
Yes, I'm not sure about this myself. But people do seem to feel that some models of set theory are non-standard (eg countable models), and that there is a standard model of the reals. I get the impression that some models of set theory are "standardler" than others...