scientific article; zbMATH DE number 738893

zbMath0815.03026MaRDI QIDQ4328086

Nikolai Makarievich Nagorny

Publication date: 24 April 1995

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

zbMATH Keywords

analogue of Nelson's theoremfulfillable logico-arithmetic formulaquasifulfillable formula

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Consistency and independence results (03E35) Models of arithmetic and set theory (03C62)

This page was built for publication: