91 search results - page 9 / 19 » aml 2007 |
AML
2004
13 years 9 months ago
2004
We show that there exists a single minimal (Turing) degree b < 0 s.t. for all c.e. degrees 0 < a < 0 , 0 = a b. Since b is minimal this means that b complements all c.e....
AML
2002
13 years 9 months ago
2002
Abstract. It is shown the complete equivalence between the theory of continuous (enumeration) fuzzy closure operators and the theory of (effective) fuzzy deduction systems in Hilbe...
AML
1999
13 years 9 months ago
1999
We continue the works of Gurevich-Shelah and Lifsches-Shelah by showing that it is consistent with ZFC that the first-order theory of random graphs is not interpretable in the mon...
AML
2004
13 years 9 months ago
2004
We point out a connection between reflection principles and generic large cardinals. One principle of pure reflection is introduced that is as strong as generic supercompactness of...
AML
2008
13 years 8 months ago
2008
Abstract. This paper develops the model theory of ordered structures that satisfy Keisler's regularity scheme, and its strengthening REF(L) (the reflection scheme) which is an...