Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 225,680,924 papers from all fields of science
Search
Sign In
Create Free Account
K-trivial set
Known as:
K-trivial sets
In mathematics, a set of natural numbers is called a K-trivial set if its initial segments viewed as binary strings are easy to describe: the prefix…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
12 relations
Broader (2)
Algorithmic information theory
Computability theory
Algorithmically random sequence
Arithmetical hierarchy
Chaitin's constant
Computer science
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Nullifying randomness and genericity using symmetric difference
R. Kuyper
,
Joseph S. Miller
Annals of Pure and Applied Logic
2017
Corpus ID: 38872363
2017
2017
Another Characterization of the Higher K-Trivials
P. A. d'Auriac
,
B. Monin
International Symposium on Mathematical…
2017
Corpus ID: 26504335
In algorithmic randomness, the class of K-trivial sets has proved itself to be remarkable, due to its numerous different…
Expand
2017
2017
AND COST FUNCTIONS
Noam Greenberg
,
Joseph S. Miller
,
A. Nies
,
Daniel Turetsky
2017
Corpus ID: 6035651
Martin-Löf (ML)-reducibility compares K-trivial sets by examining the Martin-Löf random sequences that compute them. We show that…
Expand
2016
2016
COMPUTING FROM PROJECTIONS OF RANDOM POINTS : A DENSE HIERARCHY OF SUBIDEALS OF THE
Joseph S. Miller
,
André Nies
2016
Corpus ID: 267942212
We study the sets that are computable from both halves of some (Martin-Löf) random sequence, which we call 1{2-bases. We show…
Expand
2014
2014
EXACT PAIRS FOR THE IDEAL OF THE K-TRIVIAL SEQUENCES IN THE TURING DEGREES
George Barmpalias
,
R. Downey
Journal of Symbolic Logic (JSL)
2014
Corpus ID: 14951494
Abstract The K-trivial sets form an ideal in the Turing degrees, which is generated by its computably enumerable (c.e.) members…
Expand
2014
2014
Superhighness
B. Kjos-Hanssen
,
A. Nies
Notre Dame J. Formal Log.
2014
Corpus ID: 218839083
We prove that superhigh sets can be jump traceable, answering a question of Cole and Simpson. On the other hand, we show that…
Expand
2013
2013
Density, forcing, and the covering problem
A. Day
,
Joseph S. Miller
2013
Corpus ID: 55602277
We present a notion of forcing that can be used, in conjunction with other results, to show that there is a Martin-L\"of random…
Expand
2012
2012
Triviality and Minimality in the Degrees of Monotone Complexity
William C. Calhoun
Journal of Logic and Computation
2012
Corpus ID: 34353791
Monotone complexity, Km, is a variant of Kolmogorov complexity that was introduced independently by Levin and Schnorr. The…
Expand
2010
2010
Randomness-Theoretic Weakness
R. Downey
,
D. Hirschfeldt
2010
Corpus ID: 62459587
In this chapter, we introduce an important class of “randomnesstheoretically weak” sets, the K-trivial sets. As we will see, this…
Expand
1985
1985
MSc in Logic at the Universiteit van Amsterdam.
1985
Corpus ID: 2852282
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE