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

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 given.John N. Crossley - 1982 - Studia Logica 41 (2-3):131-139.
Effectivity in Spaces with Admissible Multirepresentations.Matthias Schröder - 2002 - Mathematical Logic Quarterly 48 (S1):78-90.
Effective inner product spaces.Northrup Fowler - 1978 - Notre Dame Journal of Formal Logic 19 (4):693-701.
Cellular spaces.Wolfgang Merzenich - 1980 - Theoretical Medicine and Bioethics 1 (1):51-65.
Uniform domain representations of "Lp" -spaces.Petter K. Køber - 2007 - Mathematical Logic Quarterly 53 (2):180-205.
Zur theorie der vorstellungsproduktion (,,grazer" gestalttheorie I: France weber).Tanja Pihlar - 2006 - Grazer Philosophische Studien 73 (1):27-41.
Space complexity of Abelian groups.Douglas Cenzer, Rodney G. Downey, Jeffrey B. Remmel & Zia Uddin - 2009 - Archive for Mathematical Logic 48 (1):115-140.
Bravery, technological literacy and political philosophy: replacing oral presentations with student­-created video presentations.Pete Woodcock - 2012 - Enhancing Learning in the Social Sciences Eliss 422 (2).

Analytics

Added to PP
2013-11-23

Downloads
79 (#724,749)

6 months
8 (#1,324,366)

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 8 citations / Add more citations

References found in this work

Add more references