Timeline for name for a subset of a binary relational structure which is "closed downward"?
Current License: CC BY-SA 3.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 8, 2014 at 0:06 | comment | added | Gerhard Paseman | I suspect there is some terminology in algebraic logic (in particular the study of cylindric and relational algebras) which has been given to such sets. Steven Givant and Ralph McKenzie are names that come to mind who might know this terminology. It might even be something like leftward closed, but I am guessing. Gerhard "Or Perhaps Prefix Closed Works?" Paseman, 2014.01.07 | |
| Jan 7, 2014 at 23:53 | history | answered | Joel David Hamkins | CC BY-SA 3.0 |