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: 92,497

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.
$$\Pi^0_1$$ -Presentations of Algebras.Bakhadyr Khoussainov, Theodore Slaman & Pavel Semukhin - 2006 - Archive for Mathematical Logic 45 (6):769-781.
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).
Fractal images of formal systems.Paul St Denis & Patrick Grim - 1997 - Journal of Philosophical Logic 26 (2):181-222.
On effective topological spaces.Dieter Spreen - 1998 - Journal of Symbolic Logic 63 (1):185-221.
Computable Models of Theories with Few Models.Bakhadyr Khoussainov, Andre Nies & Richard A. Shore - 1997 - Notre Dame Journal of Formal Logic 38 (2):165-178.
Topometric spaces and perturbations of metric structures.Itaï Ben Yaacov - 2008 - Logic and Analysis 1 (3-4):235-272.

Analytics

Added to PP
2013-11-23

Downloads
31 (#520,333)

6 months
12 (#223,952)

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