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)
返 回