Pebble-depth. (English) Zbl 07898950
MSC:
68Qxx
Found 252 Documents (Results 1–100)
Nearly computable real numbers. (English) Zbl 07832589
MSC:
03Dxx
Effectively infinite classes of numberings and computable families of reals. (English) Zbl 1543.03072
Reviewer: Daniel Graça (Faro)
Families of permutations and ideals of Turing degrees. (English. Russian original) Zbl 07786475
Algebra Logic 61, No. 6, 481-490 (2023); translation from Algebra Logika 61, No. 6, 706-719 (2022).
Effectively infinite classes of numberings of computable families of reals. (English. Russian original) Zbl 07763826
Russ. Math. 67, No. 5, 72-75 (2023); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 2023, No. 5, 96-100 (2023).
Extending the reach of the point-to-set principle. (English) Zbl 07742409
MSC:
68Qxx
Two theorems on minimal generalized computable numberings. (English. Russian original) Zbl 1532.03064
Mosc. Univ. Math. Bull. 78, No. 3, 136-143 (2023); translation from Vestn. Mosk. Univ., Ser. I 78, No. 3, 28-35 (2023).
Pushdown and Lempel-Ziv depth. (English) Zbl 07687212
MSC:
68Qxx
Randomness extraction in computability theory. (English) Zbl 1515.03190
Reviewer: Ludwig Staiger (Halle)
Relativized depth. (English) Zbl 1523.03018
Reviewer: Rupert Hölzl (Neubiberg)
MSC:
03D32
The Kučera-Gács theorem revisited by Levin. (English) Zbl 07648692
MSC:
03D32
Martingales in the study of randomness. (English) Zbl 1523.60003
Mazliak, Laurent (ed.) et al., The splendors and miseries of martingales. Their history from the casino to mathematics. Cham: Birkhäuser. Trends Hist. Sci., 225-263 (2022).
The intersection of algorithmically random closed sets and effective dimension. (English) Zbl 1505.03088
Thinking with notations: epistemic actions and epistemic activities in mathematical practice. (English) Zbl 1508.00022
Friedman, Michael (ed.) et al., Model and mathematics: from the 19th to the 21st century. Cham: Birkhäuser. Trends Hist. Sci., 333-362 (2022).
MSC:
00A71
On continued fraction randomness and normality. (English) Zbl 1512.11060
Reviewer: Symon Serbenyuk (Kyïv)
Randomness and uniform distribution modulo one. (English) Zbl 1508.03074
Reviewer: Liang Yu (Nanjing)
Dimension spectra of lines. (English) Zbl 1507.03097
Reviewer: Leon Harkleroad (Bowdoinham)
Resource-bounded Kolmogorov complexity provides an obstacle to soficness of multidimensional shifts. (English) Zbl 07526473
Degrees of randomized computability. (English) Zbl 1497.03056
Reviewer: Leon Harkleroad (Bowdoinham)
Randomness and initial segment complexity for measures. (English) Zbl 1518.68147
Reviewer: Liang Yu (Nanjing)
Limitwise monotonic spectra and their generalizations. (English) Zbl 07495167
De Mol, Liesbeth (ed.) et al., Connecting with computability. 17th conference on computability in Europe, CiE 2021, virtual event, Ghent, Belgium, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12813, 189-198 (2021).
MSC:
68Qxx
Intermediate intrinsic density and randomness. (English) Zbl 1539.03135
MSC:
03D32
Algorithmic fractal dimensions in geometric measure theory. (English) Zbl 07464646
Brattka, Vasco (ed.) et al., Handbook of computability and complexity in analysis. Cham: Springer. Theory Appl. Comput., 271-302 (2021).
Computable measure theory and algorithmic randomness. (English) Zbl 07464645
Brattka, Vasco (ed.) et al., Handbook of computability and complexity in analysis. Cham: Springer. Theory Appl. Comput., 227-270 (2021).
Degrees of sets having no subsets of higher \(m\)- and \(tt\)-degree. (English) Zbl 07429025
MSC:
03Dxx
Muchnik degrees and cardinal characteristics. (English) Zbl 1485.03160
Reviewer: Jamalbek Tussupov (Astana)
Subcomputable Hausdorff function dimension. (English) Zbl 1518.03010
Reviewer: Liang Yu (Nanjing)
Automatic Kolmogorov complexity, normality, and finite-state dimension revisited. (English) Zbl 1505.68018
Reviewer: Ludwig Staiger (Halle)
Computable analogs of cardinal characteristics: prediction and rearrangement. (English) Zbl 1498.03094
Theoretical computer science: computational complexity. (English) Zbl 07910886
Marquis, Pierrei (ed.) et al., A guided tour of artificial intelligence research. Volume III. Interfaces and applications of artificial intelligence. Cham: Springer. 51-89 (2020).
Agreement reducibility. (English) Zbl 1521.03121
Randomness and effective dimension of continued fractions. (English) Zbl 07559444
Esparza, Javier (ed.) et al., 45th international symposium on mathematical foundations of computer science, MFCS 2020, August 25–26, 2020, Prague, Czech Republic. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 170, Article 73, 13 p. (2020).
MSC:
68Qxx
Generating randomness from a computable, non-random sequence of qubits. (English) Zbl 1535.81054
Coecke, Bob (ed.) et al., Proceedings of the 16th international conference on quantum physics and logic, QPL 2019, Chapman University, Orange, CA, USA, June 10–14, 2019. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 318, 1-12 (2020).
Searching for an analogue of \(\text{ATR}_0\) in the Weihrauch lattice. (English) Zbl 1473.03026
Reviewer: Jeffry L. Hirst (Boone)
Solovay reducibility and continuity. (English) Zbl 1472.03041
Reviewer: Liang Yu (Nanjing)
On fairly low and superlow sets. (English) Zbl 1486.03070
MSC:
03D25
Absolutely no free lunches! (English) Zbl 1454.68117
Orders on computable rings. (English) Zbl 1521.03022
Algorithmic information theory and its statistical mechanical interpretation. (English. Japanese original) Zbl 1455.68076
Sugaku Expo. 33, No. 1, 1-29 (2020); translation from Sūgaku 67, No. 1, 1-15 (2015).
Reviewer: Cristian S. Calude (Auckland)
Computing from projections of random points. (English) Zbl 1467.03013
Reviewer: Rupert Hölzl (Neubiberg)
Chaitin’s \(\Omega\) as a continuous function. (English) Zbl 1471.03068
Reviewer: Roman Murawski (Poznań)
Randomness notions and reverse mathematics. (English) Zbl 1444.03013
Reviewer: Jeffry L. Hirst (Boone)
Polylog depth, highness and lowness for E. (English) Zbl 1441.68112
Reviewer: Cristian S. Calude (Auckland)
Searching for shortest and least programs. (English) Zbl 1443.68074
Reviewer: Liang Yu (Nanjing)
On low for speed oracles. (English) Zbl 1459.03060
Semicomputable points in Euclidean spaces. (English) Zbl 1539.03140
Rossmanith, Peter (ed.) et al., 44th international symposium on mathematical foundations of computer science, MFCS 2019, Aachen, Germany, August 26–30, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 138, Article 48, 13 p. (2019).
MSC:
03D78
Random subgroups of rationals. (English) Zbl 1539.03134
Rossmanith, Peter (ed.) et al., 44th international symposium on mathematical foundations of computer science, MFCS 2019, Aachen, Germany, August 26–30, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 138, Article 25, 14 p. (2019).
Modal objectivity. (English) Zbl 1446.03021
On approximate uncomputability of the Kolmogorov complexity function. (English) Zbl 1434.68209
Manea, Florin (ed.) et al., Computing with foresight and industry. 15th conference on computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11558, 230-239 (2019).
MSC:
68Q30
Being low along a sequence and elsewhere. (English) Zbl 1443.03023
Reviewer: Leon Harkleroad (Bowdoinham)
Genericity and randomness with ITTMs. (English) Zbl 1451.03025
Reviewer: Liang Yu (Nanjing)
Microscopic reversibility and macroscopic irreversibility: from the viewpoint of algorithmic randomness. (English) Zbl 1439.60092
Martin-Löf randomness implies multiple recurrence in effectively closed sets. (English) Zbl 1529.03220
Reductions between types of numberings. (English) Zbl 1439.03077
Reviewer: Patrizio Cintioli (Camerino)
On the interplay between effective notions of randomness and genericity. (English) Zbl 1445.03049
Reviewer: Rupert Hölzl (Neubiberg)
Semicomputable geometry. (English) Zbl 1499.03035
Chatzigiannakis, Ioannis (ed.) et al., 45th international colloquium on automata, languages, and programming. ICALP 2018, Prague, Czech Republic, July 9–13, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 107, Article 129, 13 p. (2018).
Closure of resource-bounded randomness notions under polynomial-time permutations. (English) Zbl 1487.68137
Niedermeier, Rolf (ed.) et al., 35th symposium on theoretical aspects of computer science, STACS 2018, Caen, France, February 28 – March 3, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 96, Article 51, 10 p. (2018).
On low for speed oracles. (English) Zbl 1459.03061
Niedermeier, Rolf (ed.) et al., 35th symposium on theoretical aspects of computer science, STACS 2018, Caen, France, February 28 – March 3, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 96, Article 15, 13 p. (2018).
Finite automata and randomness. (English) Zbl 1435.68184
Konstantinidis, Stavros (ed.) et al., Descriptional complexity of formal systems. 20th IFIP WG 1.02 international conference, DCFS 2018, Halifax, NS, Canada, July 25–27, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10952, 1-10 (2018).
Finite-state independence. (English) Zbl 1404.68066
Reviewer: Cristian S. Calude (Auckland)
Strong jump-traceability. (English) Zbl 1522.03157
Limit-depth and DNR degrees. (English) Zbl 1476.03059
Filter Results by …
Document Type
- Journal Articles (220)
- Collection Articles (32)
all
top 5
Author
- Nies, André Otfrid (23)
- Barmpalias, George (22)
- Stephan, Frank (21)
- Bienvenu, Laurent (17)
- Downey, Rodney Graham (16)
- Greenberg, Noam (14)
- Miller, Joseph S. (11)
- Porter, Christopher P. (11)
- Yu, Liang (10)
- Lewis-Pye, Andrew E. M. (9)
- Miyabe, Kenshi (9)
- Monin, Benoît (9)
- Calude, Cristian S. (8)
- Hölzl, Rupert (7)
- Merkle, Wolfgang (7)
- Ng, KengMeng (7)
- Brattka, Vasco (6)
- Conidis, Chris J. (6)
- Day, Adam R. (6)
- Faĭzrahmanov, Marat Khaidarovich (6)
- Shen, Alexander (6)
- Jain, Sanjay (5)
- Kjos-Hanssen, Bjørn (5)
- Moser, Philippe (5)
- Pauly, Arno M. (5)
- Csima, Barbara F. (4)
- Franklin, Johanna N. Y. (4)
- Hoyrup, Mathieu (4)
- Kihara, Takayuki (4)
- Lutz, Jack H. (4)
- Lutz, Neil (4)
- Nandakumar, Satyadev (4)
- Simpson, Stephen G. (4)
- Staiger, Ludwig (4)
- Sureson, Claude (4)
- Wu, Huishan (4)
- Bhojraj, Tejas (3)
- Binns, Stephen (3)
- Cenzer, Douglas (3)
- Diamondstone, David E. (3)
- Fang, Nan (3)
- Higuchi, Kojiro (3)
- Lempp, Steffen (3)
- Melnikov, Alexander G. (3)
- Shafer, Paul (3)
- Stull, Donald M. (3)
- Tadaki, Kohtaro (3)
- Anderson, Bernard A. (2)
- Avigad, Jeremy (2)
- Axon, Logan M. (2)
- Becher, Verónica (2)
- Case, Adam (2)
- d’Auriac, Paul-Elliot Anglès (2)
- Galicki, Alex (2)
- Gao, Ziyuan (2)
- Gherardi, Guido (2)
- Grigorieff, Serge (2)
- Herbert, Ian (2)
- Jordon, Liam (2)
- Kräling, Thorsten (2)
- Kumabe, Masahiro (2)
- Marcone, Alberto (2)
- Mayordomo, Elvira (2)
- McInerney, Michael (2)
- Romashchenko, Andrei (2)
- Slaman, Theodore A. (2)
- Sterkenburg, Tom F. (2)
- Suzuki, Toshio (2)
- Takemura, Akimichi (2)
- Taveneaux, Antoine (2)
- Terwijn, Sebastiaan A. (2)
- Teutsch, Jason (2)
- Turetsky, Dan (2)
- Turetsky, Daniel D. (2)
- Vishnoi, Prateek (2)
- Westrick, Linda Brown (2)
- Yokoyama, Keita (2)
- Ackerman, Nathanael Leedom (1)
- Allen, Kelty (1)
- Ambos-Spies, Klaus (1)
- Baartse, Martijn (1)
- Belot, Gordon (1)
- Benatti, Fabio (1)
- Bournez, Olivier (1)
- Buss, Samuel R. (1)
- Carl, Merlin (1)
- Carton, Olivier (1)
- Case, John (1)
- Celine, Karen Frilya (1)
- Cholak, Peter A. (1)
- Chong, Chi Tat (1)
- Cintioli, Patrizio (1)
- Clarke-Doane, Justin (1)
- Culver, Quinn (1)
- Davie, George (1)
- De Brecht, Matthew (1)
- Dean, Edward T. (1)
- Deh Abad, Ahmad Shafiei (1)
- DeLapo, Andrew (1)
- Delle Rose, Valentino (1)
- and 95 more Authors
all
top 5
Serial
- J. Symb. Log. (31)
- Ann. Pure Appl. Logic (29)
- Theor. Comput. Sci. (25)
- Inf. Comput. (18)
- Theory Comput. Syst. (15)
- Bull. Symb. Log. (12)
- Notre Dame J. Formal Logic (10)
- Math. Log. Q. (10)
- J. Comput. Syst. Sci. (9)
- Proc. Am. Math. Soc. (9)
- Computability (6)
- Adv. Math. (5)
- Log. Methods Comput. Sci. (5)
- Arch. Math. Logic (4)
- Inf. Process. Lett. (3)
- J. Math. Phys. (3)
- Trans. Am. Math. Soc. (3)
- Stochastic Processes Appl. (2)
- J. Math. Log. (2)
- J. Log. Anal. (2)
- Isr. J. Math. (1)
- J. Stat. Phys. (1)
- Mosc. Univ. Math. Bull. (1)
- Algebra Logic (1)
- Bull. Lond. Math. Soc. (1)
- J. Algebra (1)
- Sugaku Expo. (1)
- Games Econ. Behav. (1)
- Russ. Math. (1)
- Topoi (1)
- J. ACM (1)
- Lobachevskii J. Math. (1)
- Nat. Comput. (1)
- ACM Trans. Comput. Log. (1)
- Forum Math. Sigma (1)
- Trans. Lond. Math. Soc. (1)
- Nôus (1)
Software
- GitHub (1)
