The theory of A-spaces

DOI10.1007/BF02218570zbMath0297.54002OpenAlexW2020349645MaRDI QIDQ1214177

Yuri L. Ershov

Publication date: 1975

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02218570

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Model theory (03C99) Topological spaces and generalizations (closure spaces, etc.) (54A05) Spectra in general topology (54B35) Absolute neighborhood extensor, absolute extensor, absolute neighborhood retract (ANR), absolute retract spaces (general properties) (54C55) Applications of computability and recursion theory (03D80) Computability and recursion theory (03D99)

Related Items (14)

Interval extensions of orders and temporal approximation spaces ⋮ Two categories of effective continuous cpos ⋮ Towards a descriptive set theory for domain-like structures ⋮ The hereditary partial effective functionals and recursion theory in higher types ⋮ Generalized hyperarithmetical computability over structures ⋮ On Processes and Structures ⋮ The bounded-complete hull of an \(\alpha\)-space ⋮ Some results related to the continuity problem ⋮ The Cuntz semigroup and domain theory ⋮ Unnamed Item ⋮ On \(d\)-spaces ⋮ On topologies defined by irreducible sets ⋮ Stability and computability in coherent domains ⋮ The \(d\)-rank of an \(\alpha \)-space does not exceed 1

Cites Work

• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers

This page was built for publication: The theory of A-spaces