Some Remarks on the Structure of Expansions
暂无分享，去创建一个
[1] John S. Schlipf,et al. Toward model theory through recursive saturation , 1978, Journal of Symbolic Logic.
[2] J. W. Addison,et al. Some consequences of the axiom of constructibility , 1959 .
[3] K. Jon Barwise,et al. An introduction to recursively saturated and resplendent models , 1976, Journal of Symbolic Logic.
[4] J. Krivine,et al. Forcing and generalized quantifiers , 1973 .
[5] Jeff B. Paris,et al. Initial segments of models of Peano's axioms , 1977 .
[6] Krzysztof R. Apt,et al. Second order arithmetic and related topics , 1974 .
[7] Georg Kreisel,et al. A survey of proof theory , 1968, Journal of Symbolic Logic.
[8] W. Marek,et al. On extendability of models of ZF set theory to the models of Kelley-Morse theory of classes , 1975 .
[9] Jon Barwise,et al. Admissible sets and structures , 1975 .
[10] Roman Murawski. On expandability of models of Peano arithmetic. III , 1976 .
[11] Stanisław Krajewski. Non-standard satisfaction classes , 1976 .