Introduction to Q-Theory
作者： Alexander S. Kechris , Donald A. Martin , Robert M. Solovay
DOI: 10.1007/BFB0071702
关键词:
摘要: Working in the context of Projective Determinacy (PD), we introduce and study this paper a countable ∏^1_(2n+1) set reals Q_(2n+l) an associated real y^0_(2n+l) for each n ≥ 0 (real means element ω^ω paper). Our theory has analytical (descriptive theoretic) as well theoretic aspects, strongly interrelated with other.
springer.com
springerlink.com参考文章(21)
Donald A. Martin, The largest countable this, that, and the other Springer Berlin Heidelberg. pp. 97- 106 ,(1983) , 10.1007/BFB0071698
Robert M. Solovay, On the Cardinality of $$ \sum_2^1 $$ Sets of Reals Foundations of Mathematics. pp. 58- 73 ,(1969) , 10.1007/978-3-642-86745-3_7
Yiannis N. Moschovakis, Inductive scales on inductive sets Springer Berlin Heidelberg. pp. 185- 192 ,(1978) , 10.1007/BFB0069300
Alexander S. Kechris, Yiannis N. Moschovakis, Notes on the Theory of Scales Springer. pp. 1- 53 ,(1978) , 10.1007/BFB0069294
Alexander S Kechris, HJ Keisler, K Kunen, Recent Advances in the Theory of Higher Level Projective Sets Studies in logic and the foundations of mathematics. ,vol. 101, pp. 149- 166 ,(1980) , 10.1016/S0049-237X(08)71258-8
David Guaspari, Leo Harrington, Characterizing ₃ (the largest countable Π¹₃ set) Proceedings of the American Mathematical Society. ,vol. 57, pp. 127- 129 ,(1976) , 10.1090/S0002-9939-1976-0401476-2
Donald Matrin, Measurable cardinals and analytic games Fundamenta Mathematicae. ,vol. 66, pp. 287- 291 ,(1970) , 10.4064/FM-66-3-287-291
Alexander S. Kechris, Yiannis N. Moschovakis, Recursion in Higher Types* HANDBOOK OF MATHEMATICAL LOGIC. ,vol. 90, pp. 681- 737 ,(1977) , 10.1016/S0049-237X(08)71119-4
Kenneth Kunen, Some applications of iterated ultrapowers in set theory Annals of Mathematical Logic. ,vol. 1, pp. 179- 227 ,(1970) , 10.1016/0003-4843(70)90013-6
Alexander S. Kechris, The theory of countable analytical sets Transactions of the American Mathematical Society. ,vol. 202, pp. 259- 297 ,(1975) , 10.1090/S0002-9947-1975-0419235-7