Note on the Splitting Property in Strongly Dense Posets of Size $\aleph_0$
We show that it is not true that every countable infinite strongly dense poset has the splitting property, so answering a question of R. Ahlswede, P.L. Erdös and N. Graham.
Discover
Research tools
Network
Opportunities
Account
Source author record
Mirna Džamonja appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We show that it is not true that every countable infinite strongly dense poset has the splitting property, so answering a question of R. Ahlswede, P.L. Erdös and N. Graham.
We prove a version of Tao's algebraic regularity lemma for asymptotic classes in the context of graphons. We apply it to study expander difference polynomials over fields with powers of Frobenius.
We show that the consistency strength of $κ$ being $2^κ$-square compact is at least weak compact and strictly less than indescribable. This is the first known improvement to the upper bound of strong compactness obtained in 1973 by Hajnal and Juh{\' a}sz.
We describe a framework for proving consistency results about singular cardinals of arbitrary cofinality and their successors. This framework allows the construction of models in which the Singular Cardinals Hypothesis fails at a singular cardinal of uncountable cofinality, while its successor enjoys various combinatorial properties. As a sample application, we prove the consistency (relative to that of ZFC plus a supercompact cardinal) of there being a strong limit singular cardinal $κ$ of uncountable cofinality where SCH fails and for which there is a collection of graphs on $κ^+$ whose size is less than $2^κ$ and such that any graph on $κ^+$ embeds into one of the graphs in the collection.
We study certain Banach spaces that are added in the extension by one Cohen real. Specifically, we show that adding just one Cohen real to any model adds a Banach space of density $\aleph_1$ which does not embed into any such space in the ground model such a Banach space can be chosen to be UG This has consequences on the the isomorphic universality number for Banach spaces of density $\aleph_1$, which is hence equal to $\aleph_2$ in the standard Cohen model and the same is true for UG spaces. Analogous universality results for Banach spaces are true for other cardinals, by a different proof.
We prove that it is consistent that $\aleph_ω$ is strong limit, $2^{\aleph_ω}$ is large and the universality number for graphs on $\aleph_{ω+1}$ is small. The proof uses Prikry forcing with interleaved collapsing.
The article uses two examples to explore the statement that, contrary to the common wisdom, the properties of singular cardinals are actually more intuitive than those of the regular ones.
We study isomorphic universality of Banach spaces of a given density and a number of pairwise non-isomorphic models in the same class. We show that in the Cohen model the isomorphic universality number for Banach spaces of density $\aleph_1$ is $\aleph_2$, and analogous results are true for other cardinals (Theorem 1.2(1)) and that adding just one Cohen real to any model destroys the old universality of Banach spaces of density $\aleph_1$ (Theorem 1.5). Moreover, adding one Cohen real adds a weakly compactly generated Banach space of density $\aleph_1$ which does not embed into any Banach space of density $\aleph_1$ in the ground model. We develop the framework of natural spaces to study isomorphic embeddings of Banach spaces and use it to show that a sufficient failure of the generalized continuum hypothesis implies that the universality number of Banach spaces of a given density under a certain kind of positive embeddings (very positive embeddings), is high (Theorem 4.8(1)), and similarly for the number of pairwise non-isomorphic models (Theorem 4.8(2)).
The paper investigates possible generalisations of Maharam's theorem to a classification of Boolean algebras that support a finitely additive measure. We prove that Boolean algebras that support a finitely additive non-atomic uniformly regular measure are metrically isomorphic to a subalgebras of the Jordan algebra with the Lebesgue measure. We give some partial analogues to be used for a classification of algebras that support a finitely additive non-atomic measure with a higher uniform regularity number. We show that some naturally induced equivalence relations connected to metric isomorphism are quite complex even on the Cantor algebra and therefore probably we cannot hope for a nice general classification theorem for finitely--additive measures. We present an example of a Boolean algebra which supports only separable measures but no uniformly regular one.
This paper investigates a connection between the ordering triangleleft^ast among theories in model theory and the (N)SOP_n hierarchy of Shelah. It introduces two properties which are natural extensions of this hierarchy, called SOP_2 and SOP_1, and gives a strong connection between SOP_1 and the maximality in Keisler ordering. Together with the known results about the connection between the (N)SOP_n hierarchy and the existence of universal models in the absence of GCH, the paper provides a step toward the classification of unstable theories without the strict order property.
We give a forcing construction of the square principle on omega_1 using forcing with conditions whose domain is finite.
We will present a collection of guessing principles which have a similar relationship to $\diamond$ as cardinal invariants of the continuum have to $\CH$. The purpose is to provide a means for systematically analyzing $\diamond$ and its consequences. It also provides for a unified approach for understanding the status of a number of consequences of $\CH$ and $\diamond$ in models such as those of Laver, Miller, and Sacks.
Suppose that lambda = mu^+. We consider two aspects of the square property on subsets of lambda. First, we have results which show e.g. that for aleph_0 <= kappa =cf (kappa)< mu, the equality cf([mu]^{<= kappa}, subseteq)= mu is a sufficient condition for the set of elements of lambda whose cofinality is bounded by kappa, to be split into the union of mu sets with squares. Secondly, we introduce a certain weak version of the square property and prove that if mu is a strong limit, then this weak square property holds on lambda without any additional assumptions