Formal spaces and their effective presentations

Archive for Mathematical Logic 34 (4):211-246 (1995)
  Copy   BIBTEX

Abstract

The theory of formal spaces is developed in terms of presentations, in order to study effectivity

Categories

Keywords

Reprint years

DOI

10.1007/bf01469380

Other Versions

No versions found

Links

PhilArchive



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

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

What is a mathematical structure of conscious experience?Johannes Kleiner & Tim Ludwig - 2024 - Synthese 203 (3):1-23.
Domain representability of metric spaces.Jens Blanck - 1997 - Annals of Pure and Applied Logic 83 (3):225-247.
Effective inner product spaces.Northrup Fowler - 1978 - Notre Dame Journal of Formal Logic 19 (4):693-701.
Spaces allowing Type‐2 Complexity Theory revisited.Matthias Schröder - 2004 - Mathematical Logic Quarterly 50 (4-5):443-459.
Positive model theory and compact abstract theories.Itay Ben-Yaacov - 2003 - Journal of Mathematical Logic 3 (01):85-118.
Space complexity of Abelian groups.Douglas Cenzer, Rodney G. Downey, Jeffrey B. Remmel & Zia Uddin - 2009 - Archive for Mathematical Logic 48 (1):115-140.
Imaginaries in Hilbert spaces.Itay Ben-Yaacov & Alexander Berenstein - 2004 - Archive for Mathematical Logic 43 (4):459-466.
Sperner spaces and first‐order logic.Andreas Blass & Victor Pambuccian - 2003 - Mathematical Logic Quarterly 49 (2):111-114.
Effectivity in Spaces with Admissible Multirepresentations.Matthias Schröder - 2002 - Mathematical Logic Quarterly 48 (S1):78-90.

Analytics

Added to PP
2013-11-23

Downloads
40 (#562,538)

6 months
8 (#588,629)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Maximal and partial points in formal spaces.Erik Palmgren - 2006 - Annals of Pure and Applied Logic 137 (1-3):291-298.
Exact approximations to Stone–Čech compactification.Giovanni Curi - 2007 - Annals of Pure and Applied Logic 146 (2):103-123.
Formal Zariski topology: positivity and points.Peter Schuster - 2006 - Annals of Pure and Applied Logic 137 (1-3):317-359.
Regular universes and formal spaces.Erik Palmgren - 2006 - Annals of Pure and Applied Logic 137 (1-3):299-316.

View all 7 citations / Add more citations

References found in this work

Computable Analysis.Oliver Aberth - 1984 - Journal of Symbolic Logic 49 (3):988-989.

Add more references