First-order Frege theory is undecidable (Q5960015)
From MaRDI portal
scientific article; zbMATH DE number 1727131
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | First-order Frege theory is undecidable |
scientific article; zbMATH DE number 1727131 |
Statements
First-order Frege theory is undecidable (English)
0 references
11 April 2002
0 references
decidability
0 references
Frege
0 references
abstraction operator
0 references
