Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I
type: Item
instance of: scholarly article
title: Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I
zbMATH Open document ID: 0946.03052
DOI: 10.1016/S0168-0072(97)00058-4
author: Iraj Kalantari
author: Lawrence Welch
published in: Annals of Pure and Applied Logic
publication date: 1999-09-15T00:00:00Z
Mathematics Subject Classification ID: 03D45
Mathematics Subject Classification ID: 03C57
Mathematics Subject Classification ID: 03D80
Mathematics Subject Classification ID: 54A20
zbMATH DE Number: 1308076
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: recursive points
zbMATH Keywords: recursive reals
MaRDI profile type: Publication
cites work: Q3910522
cites work: Q3679172
cites work: Q3803111
cites work: On a theory of computation and complexity over the real numbers: 𝑁𝑃- completeness, recursive functions and universal machines
cites work: Q4184832
cites work: Q3849892
cites work: Q3849894
cites work: Q3214887
cites work: Q5520521
cites work: Recursive analysis
cites work: Computable functionals
cites work: Q3260573
cites work: Intuitionism. An introduction
cites work: Q3778751
cites work: The point of pointless topology
cites work: Q3671145
cites work: Simplicity in effective topology
cites work: Maximality in effective topology
cites work: Degrees of recursively enumerable topological spaces
cites work: Recursive constructions in topological spaces
cites work: Effective topological spaces. I: A definability theory
cites work: Effective topological spaces. II: A hierarchy
cites work: Effective topological spaces. III: Forcing and definability
cites work: Recursive and nonextendible functions over the reals; filter foundation for recursive analysis. II
cites work: Recursive Quantum Functions, Avoidable Points, & Shadow Points in Recursive Analysis
cites work: Q3285633
cites work: Q5812175
cites work: Q5567860
cites work: Q3722498
cites work: Q3338243
cites work: Recursive real numbers
cites work: Q3241198
cites work: Q3241199
cites work: Q3243267
cites work: Q3262213
cites work: Q5720193
cites work: Q4749832
cites work: Recursive metric spaces
cites work: Q5518362
cites work: On computable sequences
cites work: Analysis without actual infinity
cites work: Criteria of constructibility for real numbers
cites work: What is a Real Number?
cites work: Q3690803
cites work: Q3994907
cites work: Recursively enumerable Boolean algebras
cites work: Recursive Real Numbers
cites work: Q5573961
cites work: Differential equations in constructive analysis and in the recursive realizability topos
cites work: Q5556429
cites work: On the Definition of Computable Function of a Real Variable
cites work: Recursion Theory and Dedekind Cuts
cites work: Q3819052
cites work: Q3260574
cites work: Q3883937
cites work: Q3975033

Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I (cites work)
cites work: Q5549029

Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I (cites work)
cites work: Principles of intuitionism. Lectures presented at the summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, NY

Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I (cites work)
cites work: On Computable Numbers, with an Application to the Entscheidungsproblem. A Correction

Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I (cites work)
cites work: Q3849893

Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I (Recommended article)
Recommended article: Q3779415
Similarity Score: 0.87199986
Recommender Run: Recommender Run 3

Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I (Recommended article)
Recommended article: On the weak and pointwise topologies in function spaces
Similarity Score: 0.8620516
Recommender Run: Recommender Run 3

Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I (Recommended article)
Recommended article: On the weak and pointwise topologies in function spaces. II.
Similarity Score: 0.8613325
Recommender Run: Recommender Run 3

Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I (Recommended article)
Recommended article: Q4405740
Similarity Score: 0.8565153
Recommender Run: Recommender Run 3

Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I (Recommended article)
Recommended article: Function spaces in the topology of pointwise convergence, and compact sets
Similarity Score: 0.8560764
Recommender Run: Recommender Run 3

Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I (Recommended article)
Recommended article: A study in Grzegorczyk point-free topology. II: Spaces of points
Similarity Score: 0.84567857
Recommender Run: Recommender Run 3

Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I (Recommended article)
Recommended article: Notes on Point-Free Topology
Similarity Score: 0.8441515
Recommender Run: Recommender Run 3

Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I (Recommended article)
Recommended article: On The Function Rings of Pointfree Topology
Similarity Score: 0.84258795
Recommender Run: Recommender Run 3

Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I (Recommended article)
Recommended article: Q5238125
Similarity Score: 0.8421223
Recommender Run: Recommender Run 3

Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I (Recommended article)
Recommended article: Note on function spaces with the topology of pointwise convergence
Similarity Score: 0.840937
Recommender Run: Recommender Run 3