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

8 weeks 3 days ago

8 weeks 5 days ago

8 weeks 6 days ago

15 weeks 6 days ago

21 weeks 4 days ago

21 weeks 5 days ago

22 weeks 4 days ago

25 weeks 2 days ago

26 weeks 5 days ago

26 weeks 6 days ago