scientific article

From MaRDI portal

Publication:3767346

Jump to:navigation, search

zbMath0631.03044MaRDI QIDQ3767346

Wilfried Sieg

Publication date: 1985

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

zbMATH Keywords

model theory proof theory provability subsystems of second order arithmetic logical reductions full comprehension principle theories for classical analysis weak systems

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35)

Related Items (1)

Herbrand analyses

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3767346&oldid=17314234"