Domain representability of metric spaces (Q674414)

From MaRDI portal

Jump to:navigation, search

scientific article

In more languages

Language	Label	Description	Also known as
English	Domain representability of metric spaces	scientific article

Statements

scholarly article

Domain representability of metric spaces (English)

zbMATH Open document ID

10.1016/S0168-0072(96)00017-6

Annals of Pure and Applied Logic

publication date

5 March 1997

Mathematics Subject Classification ID

zbMATH DE Number

zbMATH Keywords

domain representability

computable analysis

metric spaces

continuous functions

category of Scott-Ershov domains

effectivity

effective domain theory

effective metric

Banach fixed point theorem

least fixed point theorem

semieffective domains

Ceitin's theorem

MaRDI profile type

MaRDI publication profile

Total sets and objects in domain theory

Domain representability of metric spaces

Logic colloquium 76. Proceedings of a conference held in Oxford in July 1976

On the definitions of computable real continuous functions

Computable Fields and Arithmetically Definable Ordered Fields

A note on computable real fields

Recursive metric spaces

Complete local rings as domains

Algebraic and fixed point equations over inverse limits of algebras

Embedding metric spaces into CPO's

full work available at URL

https://doi.org/10.1016/s0168-0072(96)00017-6

Sitelinks

Mathematics(1 entry)

mardi Publication:674414

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q674414&oldid=36966141"