The search session has expired. Please query the service again.
Displaying 61 –
80 of
196
We show that if a colouring c establishes ω₂ ↛ [(ω₁:ω)]² then c establishes this negative partition relation in each Cohen-generic extension of the ground model, i.e. this property of c is Cohen-indestructible. This result yields a negative answer to a question of Erdős and Hajnal: it is consistent that GCH holds and there is a colouring c:[ω₂]² → 2 establishing ω₂ ↛ [(ω₁:ω)]₂ such that some colouring g:[ω₁]² → 2 does not embed into c.
It is also consistent that is arbitrarily large, and there...
In this expository paper it is shown that Martin's Axiom and the negation of the Continuum Hypothesis imply that the product of ccc spaces is a ccc space. The Continuum Hypothesis is then used to construct the Laver-Gavin example of two ccc spaces whose product is not a ccc space.
Starting from large cardinals we construct a pair V₁⊆ V₂ of models of ZFC with the same cardinals and cofinalities such that GCH holds in V₁ and fails everywhere in V₂.
We construct three models containing exactly one supercompact cardinal in which level by level inequivalence between strong compactness and supercompactness holds. In the first two models, below the supercompact cardinal κ, there is a non-supercompact strongly compact cardinal. In the last model, any suitably defined ground model Easton function is realized.
Some relatives of the Juhász Club Principle are introduced and studied in the presence of CH. In particular, it is shown that a slight strengthening of this principle implies the existence of a Suslin tree in the presence of CH.
I prove that the statement that “every linear order of size can be embedded in ” is consistent with MA + ¬ wKH.
We work towards establishing that if it is consistent that there is a supercompact cardinal then it is consistent that every locally compact perfectly normal space is paracompact. At a crucial step we use some still unpublished results announced by Todorcevic. Modulo this and the large cardinal, this answers a question of S. Watson. Modulo these same unpublished results, we also show that if it is consistent that there is a supercompact cardinal, it is consistent that every locally compact space...
Assuming the continuum hypothesis there is an inseparable sequence of length ω₁ that contains no Lusin subsequence, while if Martin's Axiom and ¬ CH are assumed then every inseparable sequence (of length ω₁) is a union of countably many Lusin subsequences.
The Katětov ordering of two maximal almost disjoint (MAD) families and is defined as follows: We say that if there is a function such that for every . In [Garcia-Ferreira S., Hrušák M., Ordering MAD families a la Katětov, J. Symbolic Logic 68 (2003), 1337–1353] a MAD family is called -uniform if for every , we have that . We prove that CH implies that for every -uniform MAD family there is a -point of such that the set of all Rudin-Keisler predecessors of is dense in the...
In his paper in Fund. Math. 178 (2003), Miller presented two conjectures regarding MAD families. The first is that CH implies the existence of a MAD family that is also a σ-set. The second is that under CH, there is a MAD family concentrated on a countable subset. These are proved in the present paper.
Currently displaying 61 –
80 of
196