Recursive and nonextendible functions over the reals; filter foundation for recursive analysis. II
type: Item
instance of: scholarly article
title: Recursive and nonextendible functions over the reals; filter foundation for recursive analysis. II
zbMATH Open document ID: 0954.03043
DOI: 10.1016/S0168-0072(98)00048-7
author: Iraj Kalantari
author: Lawrence Welch
published in: Annals of Pure and Applied Logic
publication date: 1999-09-22T00:00:00Z
Mathematics Subject Classification ID: 03D45
Mathematics Subject Classification ID: 54A20
Mathematics Subject Classification ID: 03C57
zbMATH DE Number: 1340810
zbMATH Keywords: computability
zbMATH Keywords: recursive analysis
zbMATH Keywords: computable analysis
zbMATH Keywords: recursive topology
zbMATH Keywords: computable topology
zbMATH Keywords: point-free topology
zbMATH Keywords: continuity
zbMATH Keywords: point-free approach to points and functions on topological spaces
zbMATH Keywords: recursive functions on topological spaces
MaRDI profile type: Publication
cites work: Q3910522
cites work: Q4249367
cites work: Q3849892
cites work: Algorithmic operators in constructive metric spaces
cites work: Q5520521
cites work: Handbook of recursive mathematics. Vol. 1: Recursive model theory
cites work: Recursive analysis
cites work: Q3671145
cites work: Degrees of recursively enumerable topological spaces
cites work: Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I
cites work: Recursive Quantum Functions, Avoidable Points, & Shadow Points in Recursive Analysis
cites work: Q3227567
cites work: Q5720193
cites work: Q3994907
cites work: Q5573961
cites work: Q5556429
cites work: Q3819052
cites work: Nicht konstruktiv beweisbare Sätze der Analysis
cites work: Q3849893
description: scientific article; zbMATH DE number 1340810