Genericity of Weakly Computable Objects

Mathieu Hoyrup

Type: Article

Publication Date: 2016-12-09

Citations: 9

DOI: https://doi.org/10.1007/s00224-016-9737-6

View Publication

Download PDF

Locations

Theory of Computing Systems - View
HAL (Le Centre pour la Communication Scientifique Directe) - View - PDF

Similar Works

Action	Title	Year	Authors
+ PDF Chat	Irreversible computable functions	2014	Mathieu Hoyrup
+	Computability Theory	2022	Vasco Brattka Noam Greenberg I. Sh. Kalimullin Mariya I. Soskova
+	Every computable set is generically reducible to every computable set that does not have density 0 or 1	2018	Ruslan Ishkuvatov
+	Every computable set is generically reducible to every computable set that does not have density 0 or 1	2018	Ruslan Ishkuvatov
+	Spreen spaces and the synthetic Kreisel-Lacombe-Shoenfield-Tseitin theorem	2025	Andrej Bauer
+ PDF Chat	Limits to joining with generics and randoms	2013	Adam R. Day Damir D. Dzhafarov
+	Limits to joining with generics and randoms	2012	Adam R. Day Damir D. Dzhafarov
+	Limits to joining with generics and randoms	2012	Adam R. Day Damir D. Dzhafarov
+	Rice’s Theorem in Effectively Enumerable Topological Spaces	2015	Margarita Korovina Oleg V. Kudinov
+	Spreen spaces and the synthetic Kreisel-Lacombe-Shoenfield-Tseitin theorem	2023	Andrej Bauer
+	GENERIC COMPUTABILITY, TURING DEGREES, AND ASYMPTOTIC DENSITY	2010	Carl G. Jockusch Paul E. Schupp
+	Absolutely Non-effective Predicates and Functions in Computable Analysis	2007	Decheng Ding Klaus Weihrauch Yongcheng Wu
+ PDF Chat	Effective genericity and differentiability	2014	Rutger Kuyper Sebastiaan A. Terwijn
+ PDF Chat	Generically Computable Linear Orderings	2024	Wesley Calvert Douglas Cenzer David Gonzalez Valentina Harizanov
+ PDF Chat	Admissibly Represented Spaces and Qcb-Spaces	2021	Matthias Schröder
+	A Generic m-Reducibility	2018	Alexander Rybalov
+	A Hierarchy of Turing Degrees	2020	Rod Downey Noam Greenberg
+	Effective Genericity and Differentiability	2013	Rutger Kuyper Sebastiaan A. Terwijn
+	Effective Genericity and Differentiability	2013	Rutger Kuyper Sebastiaan A. Terwijn
+	Strong computable type	2023	Djamel Eddine Amir Mathieu Hoyrup

Works That Cite This (9)

Action	Title	Year	Authors
+ PDF Chat	Computability on quasi-Polish spaces	2019	Mathieu Hoyrup Cristóbal Rojas Victor Selivanov Donald M. Stull
+	The Typical Constructible Object	2016	Mathieu Hoyrup
+	Descriptive complexity of <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.svg"><mml:mi mathvariant="sans-serif">qc</mml:mi><mml:msub><mml:mrow><mml:mi mathvariant="sans-serif">b</mml:mi></mml:mrow><mml:mrow><mml:mn mathvariant="sans-serif">0</mml:mn></mml:mrow></mml:msub></mml:math>-spaces	2022	Victor Selivanov
+ PDF Chat	COMPARING COMPUTABILITY IN TWO TOPOLOGIES	2023	Djamel Eddine Amir Mathieu Hoyrup
+ PDF Chat	On the extension of computable real functions	2017	Mathieu Hoyrup Walid Gomaa
+	Computability on Quasi-Polish Spaces	2019	Mathieu Hoyrup Cristóbal Rojas Victor Selivanov Donald M. Stull
+	On the extension of computable real functions	2017	Mathieu Hoyrup Walid Gomaa
+ PDF Chat	Nearly computable real numbers	2023	Peter Hertling Philip Janicki
+	A Galois connection between Turing jumps and limits	2018	Vasco Brattka

Works Cited by This (15)

Action	Title	Year	Authors
+ PDF Chat	Computability of Julia Sets	2008	Mark Braverman Michael Yampolsky
+	Presentations of K-Trivial Reals and Kolmogorov Complexity	2005	Frank Stephan Guohua Wu
+	Computable Versions of Baire’s Category Theorem	2001	Vasco Brattka
+ PDF Chat	On the category of ergodic measures	1961	K. R. Parthasarathy
+	Non-computable Julia sets	2005	Mark Braverman Michael Yampolsky
+ PDF Chat	Constructing non-computable Julia sets	2007	Mark Braverman Michael Yampolsky
+	Effective properties of sets and functions in metric spaces with computability structure	1999	Mariko Yasugi Takakazu Mori Yoshiki Tsujii
+	Randomness and reducibility	2003	Rod Downey Denis R. Hirschfeldt Geoff LaForte
+ PDF Chat	Topologies on spaces of subsets	1951	Ernest Michael
+ PDF Chat	Degrees of unsolvability of continuous functions	2004	Joseph S. Miller