Sciweavers

20 search results - page 1 / 4
» aml 2006
Sort
View
AML
2006
81views more  AML 2006»
13 years 4 months ago
Small Pi01 Classes
Stephen Binns
AML
2006
47views more  AML 2006»
13 years 4 months ago
Model completeness for trivial, uncountably categorical theories of Morley rank 1
Alfred Dolich, Michael C. Laskowski, Alexander Rai...
AML
2006
76views more  AML 2006»
13 years 4 months ago
There is no ordering on the classes in the generalized high/low hierarchies
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 ...
Antonio Montalbán