scientific article

From MaRDI portal

Publication:3781756

Jump to:navigation, search

zbMath0641.03035MaRDI QIDQ3781756

Roman Murawski

Publication date: 1987

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

zbMATH Keywords

choice comprehension fragment of second order arithmetic

Mathematics Subject Classification ID

Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62) Second- and higher-order arithmetic and fragments (03F35)

This page was built for publication:

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