Results for 'Connie Xiaokang Yu'

1000+ found
Order:
  1.  35
    Book Reviews. [REVIEW]Connie Xiaokang Yu, Maria Luisa Dalla Chiara, Fraser MacBride, Dale Jacquette, Maarten Marx, Stig Alstrup Rasmussen & Sven Ove Hansson - 2004 - Studia Logica 77 (1):619-624.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  2.  15
    Riesz Representation Theorem, Borel Measures and Subsystems of Second-Order Arithmetic.Xiaokang Yu - 1993 - Annals of Pure and Applied Logic 59 (1):65-78.
    Yu, X., Riesz representation theorem, Borel measures and subsystems of second-order arithmetic, Annals of Pure and Applied Logic 59 65-78. Formalized concept of finite Borel measures is developed in the language of second-order arithmetic. Formalization of the Riesz representation theorem is proved to be equivalent to arithmetical comprehension. Codes of Borel sets of complete separable metric spaces are defined and proved to be meaningful in the subsystem ATR0. Arithmetical transfinite recursion is enough to prove the measurability of Borel sets for (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  3.  14
    Measure Theory and Weak König's Lemma.Xiaokang Yu & Stephen G. Simpson - 1990 - Archive for Mathematical Logic 30 (3):171-180.
    We develop measure theory in the context of subsystems of second order arithmetic with restricted induction. We introduce a combinatorial principleWWKL (weak-weak König's lemma) and prove that it is strictly weaker thanWKL (weak König's lemma). We show thatWWKL is equivalent to a formal version of the statement that Lebesgue measure is countably additive on open sets. We also show thatWWKL is equivalent to a formal version of the statement that any Borel measure on a compact metric space is countably additive (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   27 citations  
  4.  5
    Lebesgue Convergence Theorems and Reverse Mathematics.Xiaokang Yu - 1994 - Mathematical Logic Quarterly 40 (1):1-13.
    Concepts of L1 space, integrable functions and integrals are formalized in weak subsystems of second order arithmetic. They are discussed especially in relation with the combinatorial principle WWKL (weak-weak König's lemma and arithmetical comprehension. Lebesgue dominated convergence theorem is proved to be equivalent to arithmetical comprehension. A weak version of Lebesgue monotone convergence theorem is proved to be equivalent to weak-weak König's lemma.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  5.  20
    Periodic Points and Subsystems of Second-Order Arithmetic.Harvey Friedman, Stephen G. Simpson & Xiaokang Yu - 1993 - Annals of Pure and Applied Logic 62 (1):51-64.
    We study the formalization within sybsystems of second-order arithmetic of theorems concerning periodic points in dynamical systems on the real line. We show that Sharkovsky's theorem is provable in WKL0. We show that, with an additional assumption, Sharkovsky's theorem is provable in RCA0. We show that the existence for all n of n-fold iterates of continuous mappings of the closed unit interval into itself is equivalent to the disjunction of Σ02 induction and weak König's lemma.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  6.  5
    A Study of Singular Points and Supports of Measures in Reverse Mathematics.Xiaokang Yu - 1996 - Annals of Pure and Applied Logic 79 (2):211-219.
    Arithmetical comprehension is proved to be equivalent to the enumerability of singular points of any measure on the Cantor space. It is provable in ACA0 that any perfect closed subset of [0, 1] is the support of some continuous positive linear functional on C[0, 1].
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  7.  19
    The Classic of Tea by Lu YüThe Classic of Tea by Lu Yu.Robert P. Gardella, Francis Ross Carpenter, Lu Yü & Lu Yu - 1976 - Journal of the American Oriental Society 96 (3):474.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8.  13
    The Old Man Who Does as He Pleases: Selections From the Poetry and Prose of Lu Yu.J. T. Wixted, Burton Watson & Lu Yu - 1976 - Journal of the American Oriental Society 96 (2):340.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9.  16
    On Chasm (Paper Written by Yu Luoke Under the Pen Name the Beijing-Family-Background-Study-Group).L. K. Yu - 2004 - Contemporary Chinese Thought 35 (4):76-90.
    Editor's Note: Over a long period of time, the evil bourgeois reactionary line has created antagonism between two groups of students in schools—antagonism on the basis of one's family background. This antagonism became very obvious during the initial stage of the Cultural Revolution, and has lasted to this day. It has prevented further criticism of the bourgeois reactionary line and hindered further development of the Cultural Revolution.
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  16
    A New Counteroffensive of the Reactionary Blood Lineage Theory-Refuting" The Big Poisonous Weed'On Family Background'Must Be Torn Up by the Roots"(Paper Written by Yu Luoke Under the Pen Name the Beijing-Family-Background-Study-Group).L. K. Yu - 2004 - Contemporary Chinese Thought 35 (4):91-108.
    The Rising Sun Battlefield Journal published by the East-Is-Red Commune of the Beijing Institute of Light Industry devoted as many as six pages to an all-out attack of "On Family Background" in a long and despicable article titled "The Big Poisonous Weed ‘On Family Background’ Must Be Torn Up by the Roots." In their own words, the appearance of this article was inevitable at a time when the Cultural Revolution reached the stage of great alliance [of mass rebel organizations] and (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  11.  14
    What Does the Disturbance of the United Action Committe Reveal? A Rebuttal of the Criticism of" On Family Background" by the Red Guards of the Attached High School of Tsinghua University (Paper Written by Yu Luoke Under the Pen Name the Beijing-Family-Background-Study-Group).L. K. Yu - 2004 - Contemporary Chinese Thought 35 (4):60-75.
    In December of last year, a few clowns appeared on the grand and spectacular stage of the Great Proletarian Cultural Revolution. These clowns were the reincarnated ghosts from the Capital Red Guard West City, East City, and Haidian Districts Pickets. They viciously attacked Chairman Mao's revolutionary line, engaged in slander on the Central Cultural Revolution Group, called dear Comrade Jiang Qing names, and sabotaged the organizations under the proletarian dictatorship. They provoked violence, created chaos, searched and confiscated the possessions of (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  12.  8
    The Poetry of Meng Chiao and Han YüThe Poetry of Meng Chiao and Han Yu.Joseph Roe Allen, Stephen Owen, Meng Chiao, Han Yü & Han Yu - 1978 - Journal of the American Oriental Society 98 (4):534.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13.  8
    Han Yü's poetische Werke: Uebersetzt von Erwin von Zach Han Yu's poetische Werke: Uebersetzt von Erwin von Zach.Peter A. Boodberg, James Robert Hightower, Han Yü & Han Yu - 1953 - Journal of the American Oriental Society 73 (1):35.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  14. Hu Shih Yü Chung Hsi Wen Hua.Shih Hu & Ying-Shih Yü - 1987 - Shui Niu Ch U Pan She.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  15. Makesi En'gesi Liening Lun Zi Ran Bian Zheng Fa Yu Ke Xue Ji Shu.Karl Marx, Friedrich Engels, Vladimir Il§ich Lenin, Guangyuan Yu & Xiaoli Sun - 1988
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  16. Jen Hsing Yü Tzu Wo Hsiu Yang.Wei-Ming Tu, Chün Hu & Min-Hsiung Yü - 1992
    Translate
     
     
    Export citation  
     
    Bookmark  
  17. Chuan Tong Chong Gu Yu Si Xiang Yi Wei.Wujin Yu - 2007 - Heilongjiang da Xue Chu Ban She.
    Translate
     
     
    Export citation  
     
    Bookmark  
  18. Duwei, Shi Yong Zhu Yi Yu Xian Dai Zhe Xue.Wujin Yu (ed.) - 2007 - Ren Min Chu Ban She.
    Translate
     
     
    Export citation  
     
    Bookmark  
  19. Fa Zhi Yu Wen Ming Zhi Xu.Xingzhong Yu - 2006 - Zhongguo Zheng Fa da Xue Chu Ban She.
    Translate
     
     
    Export citation  
     
    Bookmark  
  20. "Ge" Yu "Bu Ge" de Xun Huan: Qian Zhongshu "Hua Jing" Lun de Zai Chan Shi.Deying Yu - 2009 - Shanghai Yi Wen Chu Ban She.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  21. Gu "Yu" You Zhi: Xian Qin Si Xiang de Yi Zhong Bei Jing Yu Zi Yuan.Zhihui Yu - 2010 - Hua Dong Shi Fan da Xue Chu Ban She.
    Translate
     
     
    Export citation  
     
    Bookmark  
  22. Hanguo Ru Xue Yu Xian Dai Jing Shen =.Sŭng-guk Yu - 2008 - Dong Fang Chu Ban She.
    Translate
     
     
    Export citation  
     
    Bookmark  
  23. He Xie She Hui Yu Makesi Zhu Yi Zhe Xue Zhongguo Hua.Guizhi Yu - 2008 - Zhejiang da Xue Chu Ban She.
    Translate
     
     
    Export citation  
     
    Bookmark  
  24. Jiao Yu Mu di Zhuan Xing: Cong Zhong Ji Zhe Dao Pu Tong Ren: Ji Yu Ren Xing Shi Jiao de Yan Jiu.Zhonghai Yu - 2010 - Zhongyang Bian Yi Chu Ban She.
    Translate
     
     
    Export citation  
     
    Bookmark  
  25. Jiao Yu Zhe Xue Lun Gao: Ji Nian Yu Jiaju Jiao Shou 110 Sui Ming Dan = Jiaoyu Zhexue Lungao.Jiaju Yu - 2008 - Hua Zhong Shi Fan da Xue Chu Ban She.
    Translate
     
     
    Export citation  
     
    Bookmark  
  26. Kongzi de Zhong Yong Jiao Yu Zhe Xue.Jianfu Yu - 2004 - Zhong Yang Bian Yi Chu Ban She.
    Translate
     
     
    Export citation  
     
    Bookmark  
  27. Kongzi Jiao Yu Xue Shuo =.Jiaju Yu - 2010 - Shou du Shi Fan da Xue Chu Ban She.
    Translate
     
     
    Export citation  
     
    Bookmark  
  28. Lu Xiangshan Jiao Yu Xue Shuo =.Jiaju Yu - 2011 - Shou du Shi Fan da Xue Chu Ban She.
    Translate
     
     
    Export citation  
     
    Bookmark  
  29. Min Zhu Shi Ge Hao Dong Xi: Yu Keping Fang Tan Lu = Democracy is a Good Thing: Dialogue with Professor Yu Keping.Keping Yu - 2006 - She Hui Ke Xue Wen Xian Chu Ban She.
    Translate
     
     
    Export citation  
     
    Bookmark  
  30. On" Purity"(A Paper Written by Yu Luoke Under the Pen Name the Beijing-Family-Background-Study-Group).L. K. Yu - 2004 - Contemporary Chinese Thought 35 (4):56-59.
  31. Qian Mu Yu Xian Dai Zhongguo Xue Shu.Yingshi Yu - 2006 - Guangxi Shi Fan da Xue Chu Ban She.
    Translate
     
     
    Export citation  
     
    Bookmark  
  32. Quan Qiu Hua Yu Quan Qiu Hua Wen Ti.Keping Yu, Shenming Li & Weiguang Wang (eds.) - 2006 - Zhongyang Bian Yi Chu Ban She.
    Translate
     
     
    Export citation  
     
    Bookmark  
  33. Ru Jia Lun Li Yu Shang Ren Jing Shen.Yingshi Yu - 2004 - Guangxi Shi Fan da Xue Chu Ban She.
    Translate
     
     
    Export citation  
     
    Bookmark  
  34. Ren Wen Yu Li Xing de Zhongguo.Yingshi Yu - 2008 - Lian Jing Chu Ban Shi Ye Gu Fen You Xian Gong Si.
  35. Sheng Huo Yu Si Kao.Wujin Yu - 2011 - Fu Dan da Xue Chu Ban She.
    Translate
     
     
    Export citation  
     
    Bookmark  
  36. Song Ming Li Xue Yu Zheng Zhi Wen Hua.Yingshi Yu - 2008 - Jilin Chu Ban Ji Tuan You Xian Ze Ren Gong Si.
    Translate
     
     
    Export citation  
     
    Bookmark  
  37. Sheng Ming Xin Ling de Chao Yue: Ru Jia Xin Xing Lun Yu Tang Junyi Dao de Xing Shang Xue.Shilin Yu - 2010 - Ba Shu Shu She.
    Translate
     
     
    Export citation  
     
    Bookmark  
  38. Tan Chan Wen Hua Kao: Jing Tian Yu Fa Zu Si Xiang de Li Su He Yan Ge.Meixia Yu - 2010 - Nan Tian Shu Ju.
    Translate
     
     
    Export citation  
     
    Bookmark  
  39. Ti Wu Ru Wei: Wu Yu Shen Ti Gan de Yan Jiu.Shunde Yu (ed.) - 2008 - Guo Li Qing Hua da Xue Chu Ban She.
    Translate
     
     
    Export citation  
     
    Bookmark  
  40. Ti Yu Zhe Xue Yan Jiu.Tao Yu (ed.) - 2009 - Beijing Ti Yu da Xue Chu Ban She.
    Translate
     
     
    Export citation  
     
    Bookmark  
  41. Wei Wu Shi Guan de Jian Chi Yu Fa Zhan.Keping Yu, Shenming Li, Weiguang Wang, Fuling Zhuang & Shufa Liang (eds.) - 2006 - Zhong Yang Bian Yi Chu Ban She.
    Translate
     
     
    Export citation  
     
    Bookmark  
  42. Wang Yangming de Wu Bai Nian: Zhongguo Yu Shi Jie de Wang Yangming = Wang Ying Ming de Wu Bai Nian.Huaiyan Yu - 2009 - Guizhou Jiao Yu Chu Ban She.
    Translate
     
     
    Export citation  
     
    Bookmark  
  43. Wang Yangming Jiao Yu Si Xiang Yan Jiu.Wenwu Yu - 2008 - Xi Nan Jiao Tong da Xue Chu Ban She.
    Translate
     
     
    Export citation  
     
    Bookmark  
  44. Xian Dai Ru Xue de Hui Gu Yu Zhan Wang.Yingshi Yu - 2004 - Sheng Huo, du Shu, Xin Zhi San Lian Shu Dian.
    Translate
     
     
    Export citation  
     
    Bookmark  
  45. Xunzi Jiao Yu Xue Shuo.Jiaju Yu - 2011 - Shou du Shi Fan da Xue Chu Ban She.
    Translate
     
     
    Export citation  
     
    Bookmark  
  46. Xin Wu Gan Ying Yu Qing Jing Jiao Rong.Yuan Yu - 2006 - Bai Hua Zhou Wen Yi Chu Ban She.
    Translate
     
     
    Export citation  
     
    Bookmark  
  47. Xun Xue Yu Xi Han Ru Xue Zhi Qu Xiang.Yafei Yu - 2012 - Anhui Shi Fan da Xue Chu Ban She.
    Translate
     
     
    Export citation  
     
    Bookmark  
  48. Yi Ci du Wan Lun Yu Zui Jing Hua de Zhi Hui: Qing Zui Wei da de Lao Shi Jiao Hai Zi Xue Zuo Ren.Dechang Yu - 2008 - Yu He Wen Hua Chu Ban You Xian Gong Si.
    Translate
     
     
    Export citation  
     
    Bookmark  
  49. Yu Dan "Zhuangzi" Xin De.Dan Yu - 2007 - Zhongguo Min Zhu Fa Zhi Chu Ban She.
    Translate
     
     
    Export citation  
     
    Bookmark  
  50. Yu Yan Ben Zhi Li Lun de Zhe Xue Chong Jian =.Quanyou Yu - 2011 - Zhongguo She Hui Ke Xue Chu Ban She.
    Translate
     
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000