@misc{indiciaef1636ba454fc,
  title = {Consistent ultrafinitist logic},
  author = {Michał J. Gajda},
  year = {2024},
  doi = {10.4230/lipics.types.2023.5},
  url = {https://arxiv.org/abs/2106.13309},
  note = {Source identifier: 2106.13309}
}