Timeline for Can ZFC sets be interpreted as single rooted trees with accessible degree and countable height?
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 12, 2022 at 18:58 | comment | added | Zuhair Al-Johar | @PeterGerdes, I agree. I think it better be written as there exists a directed tree with parameters $(1, \text{icc}, \omega)$, and the rest would be guranteed by the remaining axioms. | |
| May 11, 2022 at 7:41 | comment | added | Peter Gerdes | Did you mean to ask if it can be interpreted in the theory of the structure given by (1, icc, w)? I mean, it doesn't really make sense to say "stipulates the existence of any directed tree" you just need some kinds of comprehension/existence principles if your language is really just the language of graph theory plus those few extras you mentioned. OTOH, if you add constants for each element in those graphs and take theory of that structure I think the answer will be yes. | |
| May 3, 2022 at 19:31 | vote | accept | Zuhair Al-Johar | ||
| May 3, 2022 at 15:43 | answer | added | Noah Schweber | timeline score: 3 | |
| May 3, 2022 at 15:04 | history | asked | Zuhair Al-Johar | CC BY-SA 4.0 |