@misc{beeson2025,
      title={Finite sets, mappings, cardinals, and arithmetic in intuitionistic NF}, 
      author={Michael Beeson},
      year={2025},
      eprint={2104.00506},
      archivePrefix={arXiv},
      primaryClass={math.LO},
      url={https://arxiv.org/abs/2104.00506}, 
}

{"_id":"wM9cQ7us4yAbQ8QbL","bibbaseid":"beeson-finitesetsmappingscardinalsandarithmeticinintuitionisticnf-2025","author_short":["Beeson, M."],"bibdata":{"bibtype":"misc","type":"misc","title":"Finite sets, mappings, cardinals, and arithmetic in intuitionistic NF","author":[{"firstnames":["Michael"],"propositions":[],"lastnames":["Beeson"],"suffixes":[]}],"year":"2025","eprint":"2104.00506","archiveprefix":"arXiv","primaryclass":"math.LO","url":"https://arxiv.org/abs/2104.00506","bibtex":"@misc{beeson2025,\n title={Finite sets, mappings, cardinals, and arithmetic in intuitionistic NF}, \n author={Michael Beeson},\n year={2025},\n eprint={2104.00506},\n archivePrefix={arXiv},\n primaryClass={math.LO},\n url={https://arxiv.org/abs/2104.00506}, \n}\n\n","author_short":["Beeson, M."],"key":"beeson2025","id":"beeson2025","bibbaseid":"beeson-finitesetsmappingscardinalsandarithmeticinintuitionisticnf-2025","role":"author","urls":{"Paper":"https://arxiv.org/abs/2104.00506"},"metadata":{"authorlinks":{}},"downloads":9},"bibtype":"misc","biburl":"http://www.michaelbeeson.com/research/papers/beeson.bib","dataSources":["v9esbf6gQ8h64d3NA","egXfKYX4HLN96MWsP"],"keywords":[],"search_terms":["finite","sets","mappings","cardinals","arithmetic","intuitionistic","beeson"],"title":"Finite sets, mappings, cardinals, and arithmetic in intuitionistic NF","year":2025,"downloads":9}