A Uniform Characterization of Σ<sub>1</sub>-Reflection Over the Fragments of Peano Arithmetic (Q5081870)
From MaRDI portal
scientific article; zbMATH DE number 7543887
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Uniform Characterization of Σ<sub>1</sub>-Reflection Over the Fragments of Peano Arithmetic |
scientific article; zbMATH DE number 7543887 |
Statements
A Uniform Characterization of Σ<sub>1</sub>-Reflection Over the Fragments of Peano Arithmetic (English)
0 references
17 June 2022
0 references
fragments of Peano arithmetic
0 references
reflection principle
0 references
