Set-theoretic reflection is equivalent to induction over well-founded classes (Q5117344)
From MaRDI portal
scientific article; zbMATH DE number 7237853
Language | Label | Description | Also known as |
---|---|---|---|
English | Set-theoretic reflection is equivalent to induction over well-founded classes |
scientific article; zbMATH DE number 7237853 |
Statements
Set-theoretic reflection is equivalent to induction over well-founded classes (English)
0 references
20 August 2020
0 references
reflection
0 references
transitive model
0 references
induction
0 references
proper class
0 references
infinite proof
0 references
0 references