THE STRENGTH OF ABSTRACTION WITH PREDICATIVE COMPREHENSION (Q5346690)
From MaRDI portal
scientific article; zbMATH DE number 6723430
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | THE STRENGTH OF ABSTRACTION WITH PREDICATIVE COMPREHENSION |
scientific article; zbMATH DE number 6723430 |
Statements
THE STRENGTH OF ABSTRACTION WITH PREDICATIVE COMPREHENSION (English)
0 references
26 May 2017
0 references
abstraction principles
0 references
predicativity
0 references
second-order arithmetic
0 references
Frege
0 references
Frege's theorem
0 references
