Reflective Cardinals
Logic
2016-12-16 v5
Abstract
We introduce and axiomatize the notion of a reflective cardinal, use it to give semantics to higher order set theory, and explore connections between the notion of reflective cardinals and large cardinal axioms.
Keywords
Cite
@article{arxiv.1203.2270,
title = {Reflective Cardinals},
author = {Dmytro Taranovsky},
journal= {arXiv preprint arXiv:1203.2270},
year = {2016}
}
Comments
31 pages, added reflective sequences, original MathJax/html is in ancillary files