Join Our Newsletter

AML

2011

12 years 3 months ago
2011

We show that the consistency of the theory “ZF + DC + Every successor cardinal is regular + Every limit cardinal is singular + Every successor cardinal satisﬁes the tree prope...

AML

2011

12 years 3 months ago
2011

We study the Medvedev degrees of mass problems with distinguished topological properties, such as denseness, closedness, or discreteness. We investigate the sublattices generated ...

AML

2011

12 years 7 months ago
2011

The notion of superhigh computably enumerable (c.e.) degrees was ﬁrst introduced by Mohrherr in [7], where she proved the existence of incomplete superhigh c.e. degrees, and high...

AML

2011

12 years 7 months ago
2011

In this paper we prove three theorems about the theory of Borel sets in models of ZF without any form of the axiom of choice. We prove that if B ⊆ 2ω is a Gδσ-set then either...

AML

2011

12 years 7 months ago
2011

We prove that all extensions of Heyting Arithmetic with a logic that has the ﬁnite frame property possess the de Jongh property. Dedicated to Petr H´ajek, on the occasion of his...

AML

2011

12 years 7 months ago
2011

AML

2011

12 years 7 months ago
2011

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