EuDML | Browse

Page 1

Displaying 1 – 8 of 8

Large small sets

Péter Komjáth (1988)

Colloquium Mathematicae

Le problème des cardinaux singuliers

Jacques Stern (1976/1977)

Séminaire Bourbaki

Level by Level Inequivalence, Strong Compactness, and GCH

Arthur W. Apter (2012)

Bulletin of the Polish Academy of Sciences. Mathematics

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.

Linear orders and MA + ¬wKH

Zoran Spasojević (1995)

Fundamenta Mathematicae

I prove that the statement that “every linear order of size $2^{ω}$ can be embedded in $(ω^{ω}, ≪)$ ” is consistent with MA + ¬ wKH.

Locally compact perfectly normal spaces may all be paracompact

Paul B. Larson, Franklin D. Tall (2010)

Fundamenta Mathematicae

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...

Locally nice spaces under Martin's axiom

Zoltan Tibor Balogh (1983)

Commentationes Mathematicae Universitatis Carolinae

Logique, catégories et faisceaux

Pierre Cartier (1977/1978)

Séminaire Bourbaki

Lusin sequences under CH and under Martin's Axiom

Uri Abraham, Saharon Shelah (2001)

Fundamenta Mathematicae

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.

Displaying 1 – 8 of 8

Currently displaying 1 – 8 of 8