首页   按字顺浏览 期刊浏览 卷期浏览 Intrinsically II 11Relations
Intrinsically II 11Relations

 

作者: Ivan N. Soskov,  

 

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

页码: 109-126

 

ISSN:0942-5616

 

年代: 1996

 

DOI:10.1002/malq.19960420110

 

出版商: WILEY‐VCH Verlag Berlin GmbH

 

关键词: Inductive definability;Abstract recursion;Enumerations;Forcing

 

数据来源: WILEY

 

摘要:

AbstractAn external characterization of the inductive sets on countable abstract structures is presented. The main result is an abstract version of the classical Suslin‐Kleene characterization of the hyperarithmetical sets.Mathematics Subject Classification:03D70, 03D7

 

点击下载:  PDF (911KB)



返 回