Sciweavers

528 search results - page 3 / 106
» Degrees of categoricity of computable structures
Sort
View
STACS
2005
Springer
14 years 28 days ago
The Core of a Countably Categorical Structure
ded abstract of this article is published in the proceedings of STACS’05, LNCS 3404, Springer Verlag. A relational structure is a core, if all its endomorphisms are embeddings. T...
Manuel Bodirsky
CHI
2002
ACM
14 years 7 months ago
Effects of structure and label ambiguity on information navigation
We present experimental results showing that search for target items in a three-tiered categorization structure (approximately 8 links per page) is faster than a comparable two-ti...
Craig S. Miller, Roger W. Remington
JCSS
2007
75views more  JCSS 2007»
13 years 7 months ago
Undecidability of the structure of the Solovay degrees of c.e. reals
We show that the elementary theory of the structure of the Solovay degrees of computably enumerable reals is undecidable.
Rodney G. Downey, Denis R. Hirschfeldt, Geoffrey L...
CIE
2005
Springer
14 years 1 months ago
Minimal Pairs and Quasi-minimal Degrees for the Joint Spectra of Structures
Two properties of the Co-Spectrum of the Joint Spectrum tely many abstract structures are presented - a Minimal Pair type theorem and the existence of a Quasi-Minimal degree with r...
Alexandra A. Soskova
CIE
2005
Springer
14 years 1 months ago
Computably Enumerable Sets in the Solovay and the Strong Weak Truth Table Degrees
The strong weak truth table reducibility was suggested by Downey, Hirschfeldt, and LaForte as a measure of relative randomness, alternative to the Solovay reducibility. It also occ...
George Barmpalias