7 search results - page 1 / 2 » aml 2011 |
AML
2011
13 years 5 months ago
2011
AML
2011
13 years 5 months ago
2011
We prove that all extensions of Heyting Arithmetic with a logic that has the finite frame property possess the de Jongh property. Dedicated to Petr H´ajek, on the occasion of his...
AML
2011
13 years 5 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
13 years 5 months ago
2011
The notion of superhigh computably enumerable (c.e.) degrees was first introduced by Mohrherr in [7], where she proved the existence of incomplete superhigh c.e. degrees, and high...
AML
2011
13 years 2 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 ...