What internal set theory knows about standard sets

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

We characterize those standard models M of ZFC which are embeddable, as the class of all standard sets, in a model of internal set theory IST. The necessary and sufficient condition is that 1) there is a wellordering < of M which does not destroy the ZFC schemata, and 2) the truth relation for (M,<) does not destroy Separation. The result is interpreted as the answer for the question in the title.

Keywords

Logic

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/76383

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/math/9711205
 http://arxiv.org/abs/math/9711205

Collections

arXiv