Constructible models of subsystems of ZF (Q3875925)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Constructible models of subsystems of ZF |
scientific article |
Statements
Constructible models of subsystems of ZF (English)
0 references
1980
0 references
constructible models
0 references
subsystems of ZF
0 references
construction of reals
0 references
transitive set
0 references
inner model
0 references
extensions of Kripke-Platek set theory
0 references
transitive model
0 references
0 references
