@misc{indiciae6423d331186b,
  title = {Recursive inseparability of classical theories of a binary predicate and non-classical logics of a unary predicate},
  author = {Mikhail Rybakov},
  year = {2025},
  url = {https://arxiv.org/abs/2505.00524},
  note = {Source identifier: 2505.00524}
}