## 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 3 hours ago

1 day 6 hours ago

3 days 1 hour ago

3 days 2 hours ago

3 days 8 hours ago

3 days 10 hours ago

3 days 18 hours ago

3 days 18 hours ago

3 days 19 hours ago

3 days 20 hours ago