Publication:4531993
From MaRDI portal
zbMath0985.03028MaRDI QIDQ4531993
Publication date: 27 May 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2064/20640273
Convergence in general topology (sequences, filters, limits, convergence spaces, nets, etc.) (54A20) Lower separation axioms ((T_0)--(T_3), etc.) (54D10) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Theory of numerations, effectively presented structures (03D45) Higher-type and set recursion theory (03D65)
Related Items
Limit spaces with approximations, Computing Schrödinger propagators on type-2 Turing machines, Computability on subsets of metric spaces., Hierarchies of total functionals over the reals, Computability on random events and variables in a computable probability space, On the Relationship between Filter Spaces and Weak Limit Spaces