On the Proof-Theoretic Foundations of Set Theory (Q5864203)
From MaRDI portal
scientific article; zbMATH DE number 7537544
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On the Proof-Theoretic Foundations of Set Theory |
scientific article; zbMATH DE number 7537544 |
Statements
On the Proof-Theoretic Foundations of Set Theory (English)
0 references
3 June 2022
0 references
set theory
0 references
foundations
0 references
proof theory
0 references
definitional reflection
0 references
partial inductive definitions
0 references
functional closure
0 references
