English

I0 and rank-into-rank axioms

Logic 2017-07-11 v1

Abstract

Just a survey on I0: The basics, some things known but never published, some things published but not known.

Keywords

Cite

@article{arxiv.1707.02613,
  title  = {I0 and rank-into-rank axioms},
  author = {Vincenzo Dimonte},
  journal= {arXiv preprint arXiv:1707.02613},
  year   = {2017}
}