@misc{indiciaeafa0aa4e23de,
  title = {Multi-level Nonstandard Analysis and the Axiom of Choice},
  author = {Karel Hrbacek},
  year = {2024},
  doi = {10.4115/jla.2024.16.5 10.4115/jla.2024.16.5c},
  url = {https://arxiv.org/abs/2405.00621},
  note = {Source identifier: 2405.00621}
}