POINCARÉ–WEYL’S PREDICATIVITY: GOING BEYOND (Q6204145)
From MaRDI portal
scientific article; zbMATH DE number 7828958
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | POINCARÉ–WEYL’S PREDICATIVITY: GOING BEYOND |
scientific article; zbMATH DE number 7828958 |
Statements
POINCARÉ–WEYL’S PREDICATIVITY: GOING BEYOND (English)
0 references
9 April 2024
0 references
predicativity
0 references
set theory
0 references
foundations of mathematics
0 references
proof theory
0 references
