The fixed-point property for represented spaces

DOI10.1016/J.APAL.2022.103090OpenAlexW4210476830MaRDI QIDQ2120973FDOQ2120973

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Non-Hausdorff topology and domain theory. Selected topics in point-set topology
• Recursion on the countable functionals
• Filter spaces and continuous functionals
• Title not available (Why is that?)
• Theory of representations
• Quasi-Polish spaces
• Relative computability and uniform continuity of relations
• Spaces allowing Type‐2 Complexity Theory revisited
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The fixed point property for ordered sets
• Title not available (Why is that?)
• Game characterizations and lower cones in the Weihrauch degrees
• Base-complexity classifications of \(\mathrm{qcb}_0\)-spaces
• Title not available (Why is that?)
• Descriptive set theory in the category of represented spaces
• On the topological aspects of the theory of represented spaces
• On the information carried by programs about the objects they compute
• Hyperprojective hierarchy of qcb0-spaces
• Title not available (Why is that?)
• Completion of choice
• The decidable properties of subrecursive functions
• An effective Tietze-Urysohn theorem for QCB-spaces
• The sequential topology on is not regular
• Some hierarchies of \(\mathsf{QCB}_0\)-spaces
• 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)