The fixed-point property for represented spaces

DOI10.1016/J.APAL.2022.103090MaRDI QIDQ2120973zbMATH OpenOpenAlexFDO

Authors Mathieu Hoyrup

Publication date 1 April 2022

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://hal.inria.fr/hal-03117745v2/file/fixedpoint.pdf

zbMATH Keywords

Scott topologyfixed-point propertydiagonal argumentbase-complexityrepresented space

Mathematics Subject Classification ID

Computation over the reals, computable analysis (03D78) Fixed-point and coincidence theorems (topological aspects) (54H25) Descriptive set theory (03E15) Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) (54H05) Constructive and recursive analysis (03F60)

Recommendations

• scientific article; zbMATH DE number 2084485
• On the topological aspects of the theory of represented spaces
• Digital space-type fixed point theory and its applications
• The fixed point property in every weak homotopy type
• scientific article; zbMATH DE number 1102841

Cites work

• scientific article; zbMATH DE number 3132764 (Why is no real title available?)
• scientific article; zbMATH DE number 7221274 (Why is no real title available?)
• scientific article; zbMATH DE number 19038 (Why is no real title available?)
• scientific article; zbMATH DE number 722611 (Why is no real title available?)
• scientific article; zbMATH DE number 1969324 (Why is no real title available?)
• scientific article; zbMATH DE number 1460545 (Why is no real title available?)
• scientific article; zbMATH DE number 1390024 (Why is no real title available?)
• scientific article; zbMATH DE number 7093560 (Why is no real title available?)
• scientific article; zbMATH DE number 3346618 (Why is no real title available?)
• An effective Tietze-Urysohn theorem for QCB-spaces
• Base-complexity classifications of \(\mathrm{qcb}_0\)-spaces
• Completion of choice
• Descriptive set theory in the category of represented spaces
• Filter spaces and continuous functionals
• Game characterizations and lower cones in the Weihrauch degrees
• Hyperprojective hierarchy of qcb0-spaces
• Non-Hausdorff topology and domain theory. Selected topics in point-set topology
• On the information carried by programs about the objects they compute
• On the topological aspects of the theory of represented spaces
• Quasi-Polish spaces
• Recursion on the countable functionals
• Relative computability and uniform continuity of relations
• Some hierarchies of \(\mathsf{QCB}_0\)-spaces
• Spaces allowing Type‐2 Complexity Theory revisited
• The decidable properties of subrecursive functions
• The fixed point property for ordered sets
• The sequential topology on is not regular
• Theory of representations
• Weihrauch goes Brouwerian

Cited in

(1)

• Representable spaces have the polynomial Daugavet property

This page was built for publication: The fixed-point property for represented spaces

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