Timeline for Does every set admit a rigid binary relation? (and how is this related to the Axiom of Choice?)
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 19, 2011 at 4:11 | comment | added | Joel David Hamkins | Ikp, Yes, I also find this question interesting. Justin and I considered something very like this principle in our paper, but we don't have much to say about it yet. Consider the principle: every set is the domain of a rigid first order structure in a countable language. Or: every set has a rigid trinary relation, or rigid k -ary relation, etc. There is an entire hiearchy of such principples, with many open questions, and it isn't clear how all such principles are related. | |
| Jul 19, 2011 at 0:56 | comment | added | David Roberts♦ | It would be better to ask a new question, and link to this one, than posing a new question as an answer. | |
| Jul 19, 2011 at 0:50 | history | answered | ikp | CC BY-SA 3.0 |