Foukzon, Jaykov and Men'kova, Elena (2019) There is No Standard Model of ZFC and ZFC2. In: Advances in Mathematics and Computer Science Vol. 1. B P International, pp. 26-75. ISBN 978-93-89246-18-6
Full text not available from this repository.
Official URL: http://bp.bookpi.org/index.php/bpi/catalog/book/46
Abstract
In this Chapter we obtain a contradictions in formal set theories under assumption that these theories have omega-models or nonstandard model with standard part. An posible generalization of Lob’s theorem is considered. Main results are: (i) ¬Con(ZFC + ∃MZFC st ), (ii) ¬Con(NF + ∃MNF st ), (iii) ¬Con(ZFC2), (iv) let k be an inaccessible cardinal then ¬Con(ZFC + ∃κ), (v) ¬Con(ZFC + (V = L)), (vi) ¬Con(ZF + (V = L)).
| Item Type: | Book Section |
|---|---|
| Subjects: | Institute Archives > Computer Science |
| Depositing User: | Managing Editor |
| Date Deposited: | 25 Nov 2023 06:01 |
| Last Modified: | 25 Nov 2023 06:01 |
| URI: | http://eprint.subtopublish.com/id/eprint/3659 |
Actions (login required)
- View Item