Results 1 to 10 of about 29 (29)
On $\omega $ -Strongly Measurable Cardinals
Forum of Mathematics, Sigma, 2023 We prove several consistency results concerning the notion of $\omega $ -strongly measurable cardinal in $\operatorname {\mathrm {HOD}}$ .
Omer Ben-Neria, Yair Hayut
doaj +1 more source
Forum of Mathematics, Sigma, 2023 Given an uncountable cardinal $\kappa $ , we consider the question of whether subsets of the power set of $\kappa $ that are usually constructed with the help of the axiom of choice are definable by $\Sigma _1$ -formulas that only use ...
Philipp Lücke, Sandra Müller
doaj +1 more source
Forum of Mathematics, SigmaIn [7], Hjorth, assuming $\mathsf {{AD+ZF+DC}}$ , showed that there is no sequence of length $\omega _2$ consisting of distinct $\boldsymbol {\Sigma }^1_2$ -sets. We show that the same theory implies that for $n\geq 0$ , there is
Grigor Sargsyan
doaj +1 more source
Applications of the Magidor iteration to ultrafilter theory
Forum of Mathematics, SigmaWe characterize sums of normal ultrafilters after the Magidor iteration of Prikry forcings over a discrete set of measurable cardinals. We apply this to show that the weak Ultrapower Axiom is not equivalent to the Ultrapower Axiom.
Tom Benhamou, Gabriel Goldberg
doaj +1 more source
$\textsf {AD}^{+}$ implies $ \omega _{1}$ is a club $ \Theta $ -Berkeley cardinal
Forum of Mathematics, SigmaFollowing [1], given cardinals $\kappa
Douglas Blue, Grigor Sargsyan
doaj +1 more source
Singular cardinals and strong extenders
Open Mathematics, 2013 Apter Arthur +2 more
doaj +1 more source
Free subsets in internally approachable models. [PDF]
Arch Math LogWelch PD.
europepmc +1 more source
Determinants of Digital Health Literacy: International Cross-Sectional Study. [PDF]
J Med Internet ResQiu CS +9 more
europepmc +1 more source
Some of the next articles are maybe not open access.
Supercompactness Can Be Equiconsistent with Measurability
Notre Dame Journal of Formal Logic, 2021Nam Trang
exaly