A separation theorem for Σ¹₁ sets
暂无分享,去创建一个
[1] Y. Moschovakis. Descriptive Set Theory , 1980 .
[2] J. Bourgain. $F_σδ$-section of Borel sets , 1980 .
[3] Douglas A. Cenzer,et al. Monotone inductive definitions over the continuum , 1976, Journal of Symbolic Logic (JSL).
[4] A. Louveau,et al. Recursivity and compactness , 1978 .
[5] Jean Saint-Raymond. Boréliens à coupes $K_\sigma $ , 1976 .
[6] C. Dellacherie. Ensembles analytiques: Theoremes de separation et applications , 1975 .