Sciweavers

7 search results - page 2 / 2
» aml 2011
Sort
View
AML
2011
221views Mathematics» more  AML 2011»
12 years 7 months ago
A remark on the tree property in a choiceless context
We show that the consistency of the theory “ZF + DC + Every successor cardinal is regular + Every limit cardinal is singular + Every successor cardinal satisfies the tree prope...
Arthur W. Apter
AML
2011
204views Mathematics» more  AML 2011»
12 years 10 months ago
A note on propositional proof complexity of some Ramsey-type statements
Any valid Ramsey statement n −→ (k)2 2 can be encoded into a DNF formula RAM(n, k) of size O(nk) and with terms of size k 2 . Let rk be the minimal n for which the statement h...
Jan Krajícek