Submodels and definable points in models of Peano arithmetic.

机译：PEANO算术模型中的子模型和可定义点。

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Žarko Mijajlović;
展开▼
作者单位

展开▼
年度 1983
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Nonstandard models that are definable in models of Peano Arithmetic [J] . Kazuma Ikeda, Akito Tsuboi Mathematical logic quarterly: MLQ . 2007,第1期

机译：可在Peano算术模型中定义的非标准模型
2. Two new submodels for the Modular Earth Submodel System (MESSy): New Aerosol Nucleation (NAN) and small ions (IONS) version 1.0 [J] . Ehrhart Sebastian, Dunne Eimear M., Manninen Hanna E., Geoscientific Model Development . 2018,第12期

机译：模块化地球子模型系统（MESSy）的两个新子模型：新气溶胶成核（NAN）和小离子（IONS）1.0版
3. Two new submodels for the Modular Earth Submodel System (MESSy): New Aerosol Nucleation (NAN) and small ions (IONS) version 1.0 [J] . Ehrhart Sebastian, Dunne Eimear M., Manninen Hanna E., Geoscientific Model Development Discussions . 2018,第12期

机译：模块化地球子模型系统（凌乱）的两个新子模型：新的气溶胶成核（NaN）和小离子（离子）版本1.0
4. A Characterisation of Definable NP Search Problems in Peano Arithmetic [C] . Arnold Beckmann Logic, language, information and computation . 2009

机译：Peano算法中可定义的NP搜索问题的特征
5. Applications of the proper forcing axiom to models of Peano arithmetic [D] . Gitman, Victoria 2007

机译：适当强迫公理在Peano算法模型中的应用
6. Group testing regression models with dilution submodels [O] . Md S. Warasi, Christopher S. McMahan, Joshua M. Tebbs, -1

机译：使用稀释子模型对回归模型进行分组测试
7. Pointwise definable substructures of models of Peano arithmetic. [O] . Roman Murawski 1988

机译：PEALO算术模型的点可定义的子结构。

Submodels and definable points in models of Peano arithmetic.

著录项

引文网络

相似文献

相关主题

期刊订阅