Timeline for Preservation theorem for intersection of relations on a fixed set
Current License: CC BY-SA 4.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 14, 2020 at 21:00 | vote | accept | James E Hanson | ||
| Mar 14, 2020 at 21:26 | |||||
| Mar 14, 2020 at 20:14 | history | edited | James E Hanson | CC BY-SA 4.0 |
Typo and empty intersections
|
| Mar 14, 2020 at 18:58 | history | edited | Alex Kruckman | CC BY-SA 4.0 |
added 2 characters in body
|
| Mar 14, 2020 at 18:55 | answer | added | Alex Kruckman | timeline score: 3 | |
| Mar 14, 2020 at 0:46 | comment | added | Noah Schweber | @EmilJeřábek3.0 Perhaps more intricately, "If $R$ holds of at most $n$ tuples then the universe has at least $k$ objects." | |
| Mar 13, 2020 at 18:07 | comment | added | James E Hanson | Very good point. | |
| Mar 13, 2020 at 17:34 | comment | added | Emil Jeřábek | It’s not just universal Horn sentences: all sentences that do not use $R$ at all, such as there exist at least $k$ objects, also trivially have this property, and in general are not equivalent to universal Horn sentences. | |
| Mar 13, 2020 at 16:51 | history | asked | James E Hanson | CC BY-SA 4.0 |