scientific article

zbMath0453.03063MaRDI QIDQ3900061

Petr Hájek

Publication date: 1979

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

zbMATH Keywords

Peano arithmeticGödel number

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Relative consistency and interpretations (03F25)

Related Items (1)

On Guaspari's problem about partially conservative sentences

This page was built for publication: