## Is \$0^{\sharp}\$ the minimal assumption to prove consistency of light\heave class dichotomy theory?

Two questions to be raised about the theory presented in posting about the class theory with light\heavy class dichotomy. There the question was answered to the positive, i.e. the theory is consistent relative some large cardinal hypothesis, that of the existence of $$0^{\sharp}$$. The two questions are:

1. Is existence of $$0^{\sharp}$$ the minimal large cardinal hypothesis under which this theory is provably consistent?

2. Which kind of Ontology bears the existence of large cardinals in that theory, is it light sets, or heavy sets or proper classes?
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 2, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "math_score": 0.9760130047798157, "perplexity": 775.9295565107576}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2019-51/segments/1575541310970.85/warc/CC-MAIN-20191215225643-20191216013643-00540.warc.gz"}