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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,069

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.
$$\Pi^0_1$$ -Presentations of Algebras.Bakhadyr Khoussainov, Theodore Slaman & Pavel Semukhin - 2006 - Archive for Mathematical Logic 45 (6):769-781.
What is a Mathematical Structure of Conscious Experience?Kleiner Johannes & Ludwig Tim - manuscript
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.
Positive model theory and compact abstract theories.Itay Ben-Yaacov - 2003 - Journal of Mathematical Logic 3 (01):85-118.
Spaces allowing Type‐2 Complexity Theory revisited.Matthias Schröder - 2004 - Mathematical Logic Quarterly 50 (4-5):443-459.
Imaginaries in Hilbert spaces.Itay Ben-Yaacov & Alexander Berenstein - 2004 - Archive for Mathematical Logic 43 (4):459-466.
Space complexity of Abelian groups.Douglas Cenzer, Rodney G. Downey, Jeffrey B. Remmel & Zia Uddin - 2009 - Archive for Mathematical Logic 48 (1):115-140.
Sperner spaces and first‐order logic.Andreas Blass & Victor Pambuccian - 2003 - Mathematical Logic Quarterly 49 (2):111-114.

Analytics

Added to PP
2013-11-23

Downloads
31 (#532,887)

6 months
12 (#242,953)

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.
Regular universes and formal spaces.Erik Palmgren - 2006 - Annals of Pure and Applied Logic 137 (1-3):299-316.
Formal Zariski topology: positivity and points.Peter Schuster - 2006 - Annals of Pure and Applied Logic 137 (1-3):317-359.

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