18 search results - page 2 / 4 » aml 2004 |
AML
2004
14 years 10 months ago
2004
We examine the conditions under which we can keep simplicity or categoricity after adding a Skolem function to the theory. AMS classification: 03C45 , 03C50
AML
2004
14 years 10 months ago
2004
We characterise imaginaries (up to interdefinability) in Hilbert spaces using a Galois theory for compact unitary groups.
AML
2004
14 years 10 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
2004
14 years 10 months ago
2004
The standard method of generating countable ordinals from uncountable ordinals can be replaced by a use of fixed point extractors available in the term calculus of Howard's s...
AML
2004
14 years 10 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...