91 search results - page 6 / 19 » aml 2007 |
AML
1998
13 years 8 months ago
1998
A natural deduction system NDIL described here admits normalization and has subformula prop
AML
2006
13 years 8 months ago
2006
We prove that the existential theory of the Turing degrees, in the language with Turing reduction, 0, and unary relations for the classes in the generalized high/low hierarchy, is ...
AML
2006
13 years 8 months ago
2006
We prove that every homogeneously Souslin set is coanalytic provided that either (a) 0long does not exist, or else (b) V = K, where K is the core model below a
AML
2005
13 years 8 months ago
2005
We apply Mints' technique for proving the termination of the epsilon substitution method via cut-elimination to the system of Peano Arithmetic with Transfinite Induction give...
AML
2002
13 years 8 months ago
2002
In this paper we present two consistency results concerning the existence of large strong measure zero and strongly meager sets.