...
机译:完全封闭的结构和一些嵌入定理
Department of Pure Mathematics, Faculty of Mathematical Sciences, University of Tabriz, Tabriz, Iran;
algebraic closedness; axiom of choice; embedding of groups and Lie algebras; existential closedness; HNN-extension; inductive classes;
机译:存在封闭的leibniz代数和嵌入定理
机译:存在封闭结构与godel第二不完全性定理
机译:递归功能和存在封闭的结构
机译:存在最多的多限定理
机译:计算复杂性理论中的存在性定理:大小和鲁棒性。
机译:分段线性嵌入的一些定理
机译:存在闭合结构和一些嵌入定理
机译:结构化程序设计中的时空权衡:一种改进的组合嵌入定理。