Timeline for Definable pseudo-standard predicates in Internal Set Theory
Current License: CC BY-SA 4.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 20 at 11:34 | history | edited | Mikhail Katz | CC BY-SA 4.0 |
sp
|
| Nov 20 at 10:32 | history | asked | Z. A. K. | CC BY-SA 4.0 |