DEFINABLE SUBSTRUCTURES OF MODELS OF PEANO ARITHMETIC

被引：0

|

作者：

MURAWSKI, R

机构：

来源：

JOURNAL OF SYMBOLIC LOGIC | 1987年 / 52卷 / 01期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：332 / 333

页数：2

相关论文

共 50 条

[1] DEFINABLE POINTS IN MODELS OF PEANO ARITHMETIC
MIJAJLOVIC, Z
JOURNAL OF SYMBOLIC LOGIC, 1985, 50 (01) : 271 - 271
[2] Nonstandard models that are definable in models of Peano Arithmetic
Ikeda, Kazuma
Tsuboi, Akito
MATHEMATICAL LOGIC QUARTERLY, 2007, 53 (01) : 27 - 37
[3] A Characterisation of Definable NP Search Problems in Peano Arithmetic
Beckmann, Arnold
LOGIC, LANGUAGE, INFORMATION AND COMPUTATION, 2009, 5514 : 1 - 12
[4] ILLUSORY MODELS OF PEANO ARITHMETIC
Kikuchi, Makoto
Kurahashi, Taishi
JOURNAL OF SYMBOLIC LOGIC, 2016, 81 (03) : 1163 - 1175
[5] SATURATED MODELS OF PEANO ARITHMETIC
PABION, JF
JOURNAL OF SYMBOLIC LOGIC, 1982, 47 (03) : 625 - 637
[6] ENAYAT MODELS OF PEANO ARITHMETIC
Abdul-Quader, Athar
JOURNAL OF SYMBOLIC LOGIC, 2018, 83 (04) : 1501 - 1511
[7] The Structure of Models of Peano Arithmetic
Kach, Asher M.
STUDIA LOGICA, 2012, 100 (03) : 659 - 662
[8] SUBSTRUCTURE LATTICES OF MODELS OF PEANO ARITHMETIC
SCHMERL, JH
JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (02) : 496 - 496
[9] Automorphism groups of models of Peano arithmetic
Schmerl, JH
JOURNAL OF SYMBOLIC LOGIC, 2002, 67 (04) : 1249 - 1264
[10] NONSTANDARD DEFINABILITY IN MODELS OF PEANO ARITHMETIC
MURAWSKI, R
JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (04) : 1075 - 1075

← 1 2 3 4 5 →