## User login## Navigation |
## Practical Set TheorySteven Kieffer, Jeremy Avigad, Harvey Friedman (2008). A language for mathematical knowledge management. Carnegie-Mellon tech. report CMU-PHIL-181. The authors present a compact language for articulating mathematics, PST, which is syntactic sugar for an extension of Zermelo-Frankel set theory, DZFC, previously proposed by Harvey Friedman, which allows the naming of partially defined functions. The article gives some examples which show how for some mathematics, PST allows rather straightfoward expression. The article also gives some statistics gathered from an encoding of Suppes' |
## Browse archives## Active forum topics |

## Recent comments

11 hours 59 min ago

12 hours 26 min ago

13 hours 20 min ago

17 hours 1 min ago

1 day 15 hours ago

1 day 15 hours ago

5 days 4 hours ago

5 days 18 hours ago

5 days 21 hours ago

1 week 19 hours ago