Finite sets, mappings, cardinals, and arithmetic in intuitionistic New Foundations. Beeson, M. Z. Math. Log. Grundlagen Math., 72:247–320, 2026. ![Finite sets, mappings, cardinals, and arithmetic in intuitionistic New Foundations [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper doi bibtex @article{Beeson2026,
author = {Beeson, Michael},
title = {Finite sets, mappings, cardinals, and arithmetic in intuitionistic New Foundations},
journal = {Z. Math. Log. Grundlagen Math.},
fjournal = {Zeitschrift für Mathematische Logik und Grundlagen der Mathematik},
volume = {72},
year = {2026},
pages = {247--320},
doi = {10.60866/CAM.290},
url = {https://api-diamond-oa.lib.cam.ac.uk/server/api/core/bitstreams/69a8702b-644a-4043-b71c-8fc3476e787c/content},
}
Downloads: 0
{"_id":"GMRZTjSftbfn4jk2k","bibbaseid":"beeson-finitesetsmappingscardinalsandarithmeticinintuitionisticnewfoundations-2026","author_short":["Beeson, M."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Beeson"],"firstnames":["Michael"],"suffixes":[]}],"title":"Finite sets, mappings, cardinals, and arithmetic in intuitionistic New Foundations","journal":"Z. Math. Log. Grundlagen Math.","fjournal":"Zeitschrift für Mathematische Logik und Grundlagen der Mathematik","volume":"72","year":"2026","pages":"247–320","doi":"10.60866/CAM.290","url":"https://api-diamond-oa.lib.cam.ac.uk/server/api/core/bitstreams/69a8702b-644a-4043-b71c-8fc3476e787c/content","bibtex":"@article{Beeson2026,\n author = {Beeson, Michael},\n title = {Finite sets, mappings, cardinals, and arithmetic in intuitionistic New Foundations},\n journal = {Z. Math. Log. Grundlagen Math.},\n fjournal = {Zeitschrift für Mathematische Logik und Grundlagen der Mathematik},\n volume = {72},\n year = {2026},\n pages = {247--320},\n doi = {10.60866/CAM.290},\n\t\turl = {https://api-diamond-oa.lib.cam.ac.uk/server/api/core/bitstreams/69a8702b-644a-4043-b71c-8fc3476e787c/content},\n}\n\n","author_short":["Beeson, M."],"key":"Beeson2026","id":"Beeson2026","bibbaseid":"beeson-finitesetsmappingscardinalsandarithmeticinintuitionisticnewfoundations-2026","role":"author","urls":{"Paper":"https://api-diamond-oa.lib.cam.ac.uk/server/api/core/bitstreams/69a8702b-644a-4043-b71c-8fc3476e787c/content"},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"article","biburl":"http://www.michaelbeeson.com/research/papers/beeson.bib","dataSources":["v9esbf6gQ8h64d3NA"],"keywords":[],"search_terms":["finite","sets","mappings","cardinals","arithmetic","intuitionistic","new","foundations","beeson"],"title":"Finite sets, mappings, cardinals, and arithmetic in intuitionistic New Foundations","year":2026,"downloads":1}