## 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

1 day 16 hours ago

2 days 16 hours ago

2 days 17 hours ago

2 days 18 hours ago

3 days 23 hours ago

4 days 45 min ago

4 days 19 hours ago

4 days 20 hours ago

4 days 20 hours ago

5 days 12 hours ago