首页   按字顺浏览 期刊浏览 卷期浏览 Choices of Convenient Sets
Choices of Convenient Sets

 

作者: Antonín Sochor,  

 

期刊: Mathematical Logic Quarterly  (WILEY Available online 1994)
卷期: Volume 40, issue 1  

页码: 51-60

 

ISSN:0942-5616

 

年代: 1994

 

DOI:10.1002/malq.19940400108

 

出版商: WILEY‐VCH Verlag Berlin GmbH

 

关键词: Model;Saturated model;Hereditarily finite set;Elementary end extension

 

数据来源: WILEY

 

摘要:

AbstractProceeding in the theory with extensionality, comprehension for classes, existence of the empty set and the assumption the addition of one element to a set makes again a set (others usual set‐theoretical operations are not required) we show a week assumption which guarantees existence of a saturated elementary extension (with absolute ϵ) of the system of hereditarily finite sets.Mathematics Subject Classification:03C62, 03C50, 03E

 

点击下载:  PDF (484KB)



返 回