@misc{indiciaebb8f930355df,
  title = {Intuitionistic fixed point theories over set theories},
  author = {Toshiyau Arai},
  year = {2014},
  url = {https://arxiv.org/abs/1312.1133},
  note = {Source identifier: 1312.1133}
}