Papers
Topics
Authors
Recent
Assistant
AI Research Assistant
Well-researched responses based on relevant abstracts and paper content.
Custom Instructions Pro
Preferences or requirements that you'd like Emergent Mind to consider when generating responses.
Gemini 2.5 Flash
Gemini 2.5 Flash 78 tok/s
Gemini 2.5 Pro 52 tok/s Pro
GPT-5 Medium 24 tok/s Pro
GPT-5 High 26 tok/s Pro
GPT-4o 120 tok/s Pro
Kimi K2 193 tok/s Pro
GPT OSS 120B 459 tok/s Pro
Claude Sonnet 4.5 36 tok/s Pro
2000 character limit reached

When cardinals determine the power set: inner models and Härtig quantifier logic (2110.13294v1)

Published 25 Oct 2021 in math.LO

Abstract: We make use of some observations on the core model, for example assuming $V=L [ E ]$, and that there is no inner model with a Woodin cardinal, and $M$ is an inner model with the same cardinals as $V$, then $V=M$. We conclude in this latter situation that "$x=\mathcal{P} ( y )$" is $\Sigma_{1} ( Card )$ where $Card$ is a predicate true of just the infinite cardinals. It is known that this implies the validities of second order logic are reducible to $V_I$ the set of validities of the H\"artig quantifier logic. We draw some further conclusions on the L\"owenheim number, $\ell_{I}$ of the latter logic: that if no $L[E]$ model has a cardinal strong up to an $\aleph$-fixed point, and $\ell_{I}$ is less than the least weakly inaccessible $\delta$, then (i) $\ell_I$ is a limit of measurable cardinals of $K$; (ii) the Weak Covering Lemma holds at $\delta$.

Summary

We haven't generated a summary for this paper yet.

Lightbulb Streamline Icon: https://streamlinehq.com

Continue Learning

We haven't generated follow-up questions for this paper yet.

List To Do Tasks Checklist Streamline Icon: https://streamlinehq.com

Collections

Sign up for free to add this paper to one or more collections.