The typical constructible object

DOI10.1007/978-3-319-40189-8_12MaRDI QIDQ3188247zbMATH OpenOpenAlexFDO

Authors Mathieu Hoyrup

Publication date 17 August 2016

Published in Pursuit of the Universal (Search for Journal in Brave)

Full work available at URL https://hal.inria.fr/hal-01396167/file/genericity.pdf

Mathematics Subject Classification ID

Recursively (computably) enumerable sets and degrees (03D25) Theory of numerations, effectively presented structures (03D45) Constructive and recursive analysis (03F60) Classification of real functions; Baire classification of sets and functions (26A21)

Recommendations

• Applications of the Baire category theorem
• scientific article; zbMATH DE number 1303900
• scientific article; zbMATH DE number 5198154
• scientific article; zbMATH DE number 65653
• scientific article; zbMATH DE number 1834650

Cites work

• A new constructive version of Baire's theorem
• Applications of the Baire category theorem
• Category and Measure in Complexity Classes
• Computability and Randomness
• Effective fractal dimensions
• Genericity of weakly computable objects
• scientific article; zbMATH DE number 6691416 (Why is no real title available?)
• scientific article; zbMATH DE number 3117565 (Why is no real title available?)
• On the uniform computational content of computability theory
• Simple Proofs of Some Theorems on High Degrees of Unsolvability
• The Baire category theorem in weak subsystems of second-order arithmetic
• The upper semi-lattice of degrees of recursive unsolvability
• TWO RECURSIVELY ENUMERABLE SETS OF INCOMPARABLE DEGREES OF UNSOLVABILITY (SOLUTION OF POST'S PROBLEM, 1944)

Cited in

(2)

• scientific article; zbMATH DE number 7650868 (Why is no real title available?)
• Universal constructions for large objects

This page was built for publication: The typical constructible object

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3188247)