Undecidable Lt Theories of Topological Abelian Groups
暂无分享，去创建一个
[1] Terry A. McKee. Infinitary logic and topological homeomorphisms , 1975, Math. Log. Q..
[2] Wanda Szmielew. Elementary properties of Abelian groups , 1955 .
[3] Steven Garavaglia. Model theory of topological structures , 1978 .
[4] Terry A. McKee. Sentences Preserved between Equivalent Topological Bases , 1976, Math. Log. Q..
[5] W. Baur,et al. Undecidability of the theory of abelian groups with a subgroup , 1976 .
[6] Paul C. Eklof,et al. The elementary theory of abelian groups , 1972 .
[7] A. M. Slobodskoi,et al. Theories of Abelian groups with predicates specifying a subgroup , 1975 .
[8] A. I. Kokorin,et al. Elementary theory of abelian groups without torsion, with a predicate selecting a subgroup , 1969 .
[9] A. I. Kokorin,et al. Proof of a lemma on model completeness , 1975 .
[10] V. I. Mart'yanov. The theory of Abelian groups with predicates specifying a subgroup, and with endomorphism operations , 1975 .
[11] M. Ziegler,et al. A language for topological structures which satisfies a Lindström-theorem , 1976 .
[12] László Fuchs,et al. Infinite Abelian groups , 1970 .
[13] Jörg Flum,et al. Topological Model Theory , 1980 .