On translations of complete first order theories

Seyed Mohammad Bagheri

首页> 外文期刊>Mathematical logic quarterly: MLQ >On translations of complete first order theories

【24h】

On translations of complete first order theories

机译：关于完整的一阶理论的翻译

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

In this paper, some basic properties of automorphisms of first order languages and some examples are presented. In particular, an omitting types theorem is proved.

机译：本文给出了一阶语言自同构的一些基本性质和一些例子。特别地，证明了省略类型定理。

著录项

来源
《Mathematical logic quarterly: MLQ》 |2003年第1期|共5页
作者
Seyed Mohammad Bagheri;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类数理逻辑、数学基础;
关键词
translation; permorphism; full model;

机译：翻译;同态;完整模型;

相似文献

外文文献
中文文献
专利

1. On translations of complete first order theories [J] . Seyed Mohammad Bagheri Mathematical logic quarterly: MLQ . 2003,第1期

机译：关于完整的一阶理论的翻译
2. Asymptotic Completeness in Quantum Field Theory: Translation Invariant Nelson Type Models Restricted to the Vacuum and One-Particle Sectors [J] . Christian Gérard, Jacob Schach Møller, Morten Grud Rasmussen Letters in Mathematical Physics . 2011,第2期

机译：量子场论中的渐近完备性：限于真空和一粒子扇区的平移不变纳尔逊类型模型
3. Asymptotic Completeness in Quantum Field Theory: Translation Invariant Nelson Type Models Restricted to the Vacuum and One-Particle Sectors [J] . Gérard C., M?ller J.S., Rasmussen M.G. Letters in Mathematical Physics: A Journal for the Rapid Dissemination of Short Contributions in the Field of Mathematical Physics . 2011,第2期

机译：量子场论中的渐近完备性：限于真空和一粒子扇区的平移不变纳尔逊类型模型
4. Research on Changes of Women Images in Chinese Translations from the Perspective of Rewriting Theory: A Case Study of The Complete Classic Series of Sherlock Holmes [C] . Huiqiong Li International Conference on Education, Language, Art and Inter-cultural Communication . 2018

机译：重写理论视角下中国翻译中妇女形象变迁研究 - 以夏洛克福尔摩斯完全经典系列的案例研究
5. A STUDY OF THE TWO COMPLETE TRANSLATIONS OF WALT WHITMAN'S "LEAVES OF GRASS" INTO ITALIAN [D] . SOTIS, GRAZIA. 1981

机译：沃尔特·惠特曼的“草叶”两次翻译成意大利语的研究
6. Calculation of Heats of Formation for Zn Complexes: Comparison of Density Functional Theory Second Order Perturbation Theory Coupled-Cluster and Complete Active Space Methods [O] . Michael N. Weaver, Kenneth M. Merz Jr., Dongxia Ma, -1

机译：锌配合物的形成热的计算：密度泛函理论二阶微扰理论耦合簇和完全有源空间方法的比较
7. Research on Changes of Women Images in Chinese Translations from the Perspective of Rewriting Theory A Case Study of The Complete Classic Series of Sherlock Holmes [O] . Huiqiong Li 2017

机译：重写理论看妇女形象中妇女形象的变迁研究夏洛克福尔摩斯完整经典系列的案例研究
8. CONTRIBUTION TO THE APPROXIMATION THEORY ON COMPRESSIBLE TURBULENT BOUNDARY LAYERS TranslationnCONTRIBUTION TO THE APPR0X3KATICH THEORY OF COMPRESSIBLE TURBULENT BOUNDARY LAYERS II. CALCULATION OF UNIVERSAL FUNCTIONS AND EXAMPLES Translation [R] . 1963

机译：对可压缩湍流边界层的近似理论的贡献转换为可压缩湍流边界层的appR0X3KaTICH理论的继承II。通用函数的计算与实例翻译

On translations of complete first order theories

摘要

著录项

相似文献

相关主题

期刊订阅