@misc{indiciaebece69195cfa,
  title = {Incompleteness of boundedly axiomatizable theories},
  author = {Ali Enayat and Albert Visser},
  year = {2024},
  doi = {10.1090/proc/16975},
  url = {https://arxiv.org/abs/2311.14025},
  note = {Source identifier: 2311.14025}
}