scientific article

zbMath0503.03029MaRDI QIDQ3968924

Paolo Pagli

Publication date: 1982

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

diagonalizationself-reference1st order Peano arithmetic

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Related Items

On the autological character of diagonalizable algebras