@misc{indiciae18e29daf4767,
  title = {Note on \$Π\textasciicircum{}0\_\{n+1\}\$-LEM, \$Σ\textasciicircum{}0\_\{n+1\}\$-LEM and \$Σ\textasciicircum{}0\_\{n+1\}\$-DNE},
  author = {Joan R. Moschovakis},
  year = {2018},
  url = {https://arxiv.org/abs/1807.10472},
  note = {Source identifier: 1807.10472}
}