Towards the Effective Descriptive Set Theory

被引：13

作者：

Selivanov, Victor ^{[1
]}

机构：

[1] AP Ershov Inst Informat Syst SB RAS, Novosibirsk, Russia

来源：

EVOLVING COMPUTABILITY | 2015年 / 9136卷

关键词：

Weakly computable cb(0)-space; Computable Polish space; Computable omega-continuous domain; Effective hierarchy; Suslin-Kleene theorem; Effective Hausdorff theorem; HIERARCHY;

D O I：

10.1007/978-3-319-20028-6_33

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

We prove effective versions of some classical results about measurable functions and derive from this extensions of the Suslin- Kleene theorem, and of the effective Hausdorff theorem for the computable Polish spaces (this was established in [2] with a different proof) and for the computable omega-continuous domains (this answers an open question from [2]).

引用

页码：324 / 333

页数：10

共 50 条

[31] The Descriptive Set Theory of C*-algebra Invariants
Farah, Ilijas
Toms, Andrew
Tornquist, Asger
INTERNATIONAL MATHEMATICS RESEARCH NOTICES, 2013, 2013 (22) : 5196 - 5226
[32] The descriptive set theory of the Lebesgue Density Theorem
Andretta, Alessandro
Camerlo, Riccardo
ADVANCES IN MATHEMATICS, 2013, 234 : 1 - 42
[33] Descriptive set theory and definable forcing - Introduction
Zapletal, J
MEMOIRS OF THE AMERICAN MATHEMATICAL SOCIETY, 2004, 167 (793) : 1 - +
[34] ON VAUGHTS CONJECTURE IN DESCRIPTIVE SET-THEORY
SAMI, RL
COMPTES RENDUS DE L ACADEMIE DES SCIENCES SERIE I-MATHEMATIQUE, 1982, 295 (06): : 413 - 416
[35] Ideal topologies in higher descriptive set theory
Holy, Peter
Koelbing, Marlene
Schlicht, Philipp
Wohofsky, Wolfgang
ANNALS OF PURE AND APPLIED LOGIC, 2022, 173 (04)
[36] CLASSICAL DESCRIPTIVE SET THEORY AS A REFINEMENT OF MODERN HIERARCHY THEORY
MOSCHOVA.YN
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1971, 18 (07): : 1088 - &
[37] TOWARDS A DESCRIPTIVE-THEORY OF MANAGEMENT ACCOUNTING
TIESSEN, P
WATERHOUSE, JH
ACCOUNTING ORGANIZATIONS AND SOCIETY, 1983, 8 (2-3) : 251 - 267
[38] Analytic sets in descriptive set theory and NP sets in complexity theory
Sureson, C
FUNDAMENTA INFORMATICAE, 2002, 50 (01) : 77 - 110
[39] DESCRIPTIVE SET-THEORY AND HARMONIC-ANALYSIS
KECHRIS, AS
LOUVEAU, A
JOURNAL OF SYMBOLIC LOGIC, 1992, 57 (02) : 413 - 441
[40] THE GRAPH-THEORETIC APPROACH TO DESCRIPTIVE SET THEORY
Miller, Benjamin D.
BULLETIN OF SYMBOLIC LOGIC, 2012, 18 (04) : 554 - 575

← 1 2 3 4 5 →