The fixed-point property for represented spaces

Annals of Pure and Applied Logic 173 (5):103090 (2022)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2022.103090

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,423

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Bilinear spaces over a fixed field are simple unstable.Mark Kamsma - 2023 - Annals of Pure and Applied Logic 174 (6):103268.
Domain representability of metric spaces.Jens Blanck - 1997 - Annals of Pure and Applied Logic 83 (3):225-247.
Fixed-point extensions of first-order logic.Yuri Gurevich & Saharon Shelah - 1986 - Annals of Pure and Applied Logic 32:265-280.
Fixed point theorems on partial randomness.Kohtaro Tadaki - 2012 - Annals of Pure and Applied Logic 163 (7):763-774.
Fixed point theory in weak second-order arithmetic.Naoki Shioji & Kazuyuki Tanaka - 1990 - Annals of Pure and Applied Logic 47 (2):167-188.
Effective results on a fixed point algorithm for families of nonlinear mappings.Andrei Sipoş - 2017 - Annals of Pure and Applied Logic 168 (1):112-128.
On the classification of (effective) φ-spaces.YuL Ershov - 2009 - Annals of Pure and Applied Logic 159 (3):285-291.
Fixed points in Peano arithmetic with ordinals.Gerhard Jäger - 1993 - Annals of Pure and Applied Logic 60 (2):119-132.
Polish G-spaces and continuous logic.A. Ivanov & B. Majcher-Iwanow - 2017 - Annals of Pure and Applied Logic 168 (4):749-775.
Perfect measurable spaces.G. Koumoullis - 1986 - Annals of Pure and Applied Logic 30 (3):219.

Analytics

Added to PP
2022-04-07

Downloads
11 (#1,425,715)

6 months
5 (#1,062,008)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Completion of choice.Vasco Brattka & Guido Gherardi - 2021 - Annals of Pure and Applied Logic 172 (3):102914.
Quasi-Polish spaces.Matthew de Brecht - 2013 - Annals of Pure and Applied Logic 164 (3):356-381.
Filter spaces and continuous functionals.J. M. E. Hyland - 1979 - Annals of Mathematical Logic 16 (2):101-143.
Weihrauch Goes Brouwerian.Vasco Brattka & Guido Gherardi - 2020 - Journal of Symbolic Logic 85 (4):1614-1653.
Spaces allowing Type‐2 Complexity Theory revisited.Matthias Schröder - 2004 - Mathematical Logic Quarterly 50 (4-5):443-459.

Add more references