A Reflection Principle As a Reverse-mathematical Fixed Point over the Base Theory ZFC (Q5881259)
From MaRDI portal
scientific article; zbMATH DE number 7661632
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Reflection Principle As a Reverse-mathematical Fixed Point over the Base Theory ZFC |
scientific article; zbMATH DE number 7661632 |
Statements
A Reflection Principle As a Reverse-mathematical Fixed Point over the Base Theory ZFC (English)
0 references
9 March 2023
0 references
Fodor-type reflection principle (FRP)
0 references
Shelah's strong hypothesis (SSH)
0 references
reverse-mathematical criterion
0 references
