Reflections on function spaces

Annals of Pure and Applied Logic 163 (2):101-110 (2012)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2011.06.018

Other Versions

No versions found

Links

PhilArchive



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

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

The isomorphism relation of theories with S-DOP in the generalised Baire spaces.Miguel Moreno - 2022 - Annals of Pure and Applied Logic 173 (2):103044.
Relating Bishopʼs function spaces to neighbourhood spaces.Hajime Ishihara - 2013 - Annals of Pure and Applied Logic 164 (4):482-490.
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.
Limit spaces with approximations.Iosif Petrakis - 2016 - Annals of Pure and Applied Logic 167 (9):737-752.
Computable Stone spaces.Nikolay Bazhenov, Matthew Harrison-Trainor & Alexander Melnikov - 2023 - Annals of Pure and Applied Logic 174 (9):103304.
An analysis of the logic of Riesz spaces with strong unit.Antonio Di Nola, Serafina Lapenta & Ioana Leuştean - 2018 - Annals of Pure and Applied Logic 169 (3):216-234.
Two subcategories of apartness spaces.Hajime Ishihara - 2012 - Annals of Pure and Applied Logic 163 (2):132-139.
Isometry of Polish metric spaces.John D. Clemens - 2012 - Annals of Pure and Applied Logic 163 (9):1196-1209.
Metric spaces in synthetic topology.Andrej Bauer & Davorin Lešnik - 2012 - Annals of Pure and Applied Logic 163 (2):87-100.

Analytics

Added to PP
2013-10-27

Downloads
55 (#385,648)

6 months
6 (#820,766)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Approximation Theorems Throughout Reverse Mathematics.Sam Sanders - forthcoming - Journal of Symbolic Logic:1-32.
Sets Completely Separated by Functions in Bishop Set Theory.Iosif Petrakis - 2024 - Notre Dame Journal of Formal Logic 65 (2):151-180.
Big in Reverse Mathematics: The Uncountability of the Reals.Sam Sanders - forthcoming - Journal of Symbolic Logic:1-34.
Formally continuous functions on Baire space.Tatsuji Kawai - 2018 - Mathematical Logic Quarterly 64 (3):192-200.

Add more citations

References found in this work

Nicht konstruktiv beweisbare sätze der analysis.Ernst Specker - 1949 - Journal of Symbolic Logic 14 (3):145-158.
Choice Implies Excluded Middle.N. Goodman & J. Myhill - 1978 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24 (25-30):461-461.
Choice Implies Excluded Middle.N. Goodman & J. Myhill - 1978 - Mathematical Logic Quarterly 24 (25‐30):461-461.

View all 11 references / Add more references