首页   按字顺浏览 期刊浏览 卷期浏览 ITERATIONS OF SATISFACTION CLASSES AND MODELS OF PEANO ARITHMETIC
ITERATIONS OF SATISFACTION CLASSES AND MODELS OF PEANO ARITHMETIC

 

作者: Roman Murawski,  

 

期刊: Mathematical Logic Quarterly  （WILEY Available online 1992）
卷期: Volume 38, issue 1  

页码: 59-84

 

ISSN:0942-5616

 

年代: 1992

 

DOI:10.1002/malq.19920380106

 

出版商: WILEY‐VCH Verlag Berlin GmbH

 

关键词: Models of Peano arithmetic;Satisfaction classes second order arithmetic;Expandibility

 

数据来源: WILEY

 

摘要:

AbstractWe consider iterations of satisfaction classes and apply them to construct expansions of models of Peano arithmetic to models of A −2|Δ 11+∑ 11‐AC. 1991 MSC:

 

点击下载:  PDF (1400KB)



返 回