Reflection in second-order set theory with abundant urelements bi-interprets a supercompact cardinal (Q6642873)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Reflection in second-order set theory with abundant urelements bi-interprets a supercompact cardinal |
scientific article; zbMATH DE number 7948990
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Reflection in second-order set theory with abundant urelements bi-interprets a supercompact cardinal |
scientific article; zbMATH DE number 7948990 |
Statements
Reflection in second-order set theory with abundant urelements bi-interprets a supercompact cardinal (English)
0 references
25 November 2024
0 references
urelements
0 references
Kelley-Morse
0 references
reflection
0 references
supercompact cardinal
0 references
