Results 1 to 10 of about 48 (48)
Transformations of the transfinite plane
Forum of Mathematics, Sigma, 2021 We study the existence of transformations of the transfinite plane that allow one to reduce Ramsey-theoretic statements concerning uncountable Abelian groups into classical partition relations for uncountable cardinals.
Assaf Rinot, Jing Zhang
doaj +1 more source
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
On Banach and Kuratowski Theorem, K-Lusin sets and strong sequences
Open Mathematics, 2018 In 2003 Bartoszyński and Halbeisen published the results on various equivalences of Kuratowski and Banach theorem from 1929 concerning some aspect of measure theory.
Jureczko Joanna
doaj +1 more source
The new operations on complete ideals
Open Mathematics, 2019 We introduce the notion of K-ideals associated with Kuratowski partitions. Using new operations on complete ideals we show connections between K-ideals and precipitous ideals and prove that every complete ideal can be represented by some K-ideal.
Jureczko Joanna
doaj +1 more source
REDUCED POWERS OF SOUSLIN TREES
Forum of Mathematics, Sigma, 2017 We study the relationship between a $\unicode[STIX]{x1D705}$ -Souslin tree $T$
ARI MEIR BRODSKY, ASSAF RINOT
doaj +1 more source
FREE GROUPS AND AUTOMORPHISM GROUPS OF INFINITE STRUCTURES
Forum of Mathematics, Sigma, 2014 Given a cardinal $\lambda $ with $\lambda =\lambda ^{\aleph _0}$
PHILIPP LÜCKE, SAHARON SHELAH
doaj +1 more source
On the cardinality of smallest spanning sets of rings
, 2003 Let R = (R, +, ·) be a ring. Then Z ⊆ R is called spanning if the R-module generated by Z is equal to the ring R. A spanning set Z ⊆ R is called smallest if there is no spanning set of smaller cardinality than Z.
Nadia Boudi +4 more
core +1 more source
Forum of Mathematics, SigmaWe prove two compactness theorems for HOD. First, if $\kappa $ is a strong limit singular cardinal with uncountable cofinality and for stationarily many $\delta
Gabriel Goldberg, Alejandro Poveda
doaj +1 more source
On Namba Forcing And Minimal Collapses
Forum of Mathematics, SigmaWe build on a 1990 paper of Bukovský and Copláková-Hartová. First, we remove the hypothesis of ${\mathsf {CH}}$ from one of their minimality results.
Maxwell Levine
doaj +1 more source