Is ZF a hack? Comparing the complexity of some (formalist interpretations of) foundational systems for mathematics. Wiedijk, F. Journal of Applied Logic, 4:622–645, 2006.
![Is ZF a hack? Comparing the complexity of some (formalist interpretations of) foundational systems for mathematics [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Pdf bibtex
Pdf bibtex @article{freek2006e,
Author = {Freek Wiedijk},
Date-Added = {2014-11-16 22:06:51 +0000},
Date-Modified = {2014-11-16 22:08:13 +0000},
Journal = {Journal of Applied Logic},
Pages = {622--645},
Title = {Is ZF a hack? Comparing the complexity of some (formalist interpretations of) foundational systems for mathematics},
Url_Pdf = {http://www.cs.ru.nl/F.Wiedijk/zfc-etc/zfc-etc.pdf},
Volume = {4},
Year = {2006}}Downloads: 0
{"_id":"5oR4XBpbjywC4PbnZ","bibbaseid":"wiedijk-iszfahackcomparingthecomplexityofsomeformalistinterpretationsoffoundationalsystemsformathematics-2006","author_short":["Wiedijk, F."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Freek"],"propositions":[],"lastnames":["Wiedijk"],"suffixes":[]}],"date-added":"2014-11-16 22:06:51 +0000","date-modified":"2014-11-16 22:08:13 +0000","journal":"Journal of Applied Logic","pages":"622–645","title":"Is ZF a hack? Comparing the complexity of some (formalist interpretations of) foundational systems for mathematics","url_pdf":"http://www.cs.ru.nl/F.Wiedijk/zfc-etc/zfc-etc.pdf","volume":"4","year":"2006","bibtex":"@article{freek2006e,\n\tAuthor = {Freek Wiedijk},\n\tDate-Added = {2014-11-16 22:06:51 +0000},\n\tDate-Modified = {2014-11-16 22:08:13 +0000},\n\tJournal = {Journal of Applied Logic},\n\tPages = {622--645},\n\tTitle = {Is ZF a hack? Comparing the complexity of some (formalist interpretations of) foundational systems for mathematics},\n\tUrl_Pdf = {http://www.cs.ru.nl/F.Wiedijk/zfc-etc/zfc-etc.pdf},\n\tVolume = {4},\n\tYear = {2006}}\n\n","author_short":["Wiedijk, F."],"key":"freek2006e","id":"freek2006e","bibbaseid":"wiedijk-iszfahackcomparingthecomplexityofsomeformalistinterpretationsoffoundationalsystemsformathematics-2006","role":"author","urls":{" pdf":"http://www.cs.ru.nl/F.Wiedijk/zfc-etc/zfc-etc.pdf"},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"article","biburl":"http://www.michaelbeeson.com/research/papers/freek.bib","dataSources":["dCR2SmaT7gnYejraT"],"keywords":[],"search_terms":["hack","comparing","complexity","formalist","interpretations","foundational","systems","mathematics","wiedijk"],"title":"Is ZF a hack? Comparing the complexity of some (formalist interpretations of) foundational systems for mathematics","year":2006}