Sciweavers

7 search results - page 1 / 2
» aml 2011
Sort
View
AML
2011
204views Mathematics» more  AML 2011»
12 years 10 months ago
Intermediate Logics and the de Jongh property
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...
Dick de Jongh, Rineke Verbrugge, Albert Visser
AML
2011
322views Mathematics» more  AML 2011»
12 years 10 months ago
A dedekind finite borel set
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...
Arnold W. Miller
AML
2011
177views Mathematics» more  AML 2011»
12 years 10 months ago
A superhigh diamond in the c.e. tt-degrees
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...
Douglas Cenzer, Johanna N. Y. Franklin, Jiang Liu ...
AML
2011
190views Mathematics» more  AML 2011»
12 years 7 months ago
Topological aspects of the Medvedev lattice
We study the Medvedev degrees of mass problems with distinguished topological properties, such as denseness, closedness, or discreteness. We investigate the sublattices generated ...
Andrew E. M. Lewis, Richard A. Shore, Andrea Sorbi