Descriptive set theory in L_{\omega _l \omega }
暂无分享,去创建一个
[1] Yiannis N. Moschovakis,et al. The Suslin-Kleene theorem for countable structures , 1970 .
[2] Erwin Engeler,et al. Languages with expressions of infinite length , 1966 .
[3] Yiannis N. Moschovakis,et al. The game quantifier , 1972 .
[4] E. López-Escobar. An interpolation theorem for denumerably long formulas , 1965 .
[5] William Craig,et al. Finite Axiomatizability using additional predicates , 1958, Journal of Symbolic Logic.
[6] Yiannis N. Moschovakis,et al. Abstract Computability and Invariant Definability , 1970, Journal of Symbolic Logic.
[7] Michael D. Morley. The Number of Countable Models , 1970, J. Symb. Log..
[8] E. López-Escobar. On defining well-orderings , 1966 .
[9] Yiannis N. Moschovakis,et al. The next admissible set , 1971, Journal of Symbolic Logic.
[10] S. C. Kleene,et al. Finite Axiomatizability of Theories in the Predicate Calculus Using Additional Predicate Symbols , 1952 .
[11] Yiannis N. Moschovakis,et al. Abstract first order computability. II , 1969 .
[12] K. Jon Barwise,et al. Infinitary logic and admissible sets , 1969, Journal of Symbolic Logic.