scientific article

From MaRDI portal

Publication:3783277

Jump to:navigation, search

zbMath0642.03023MaRDI QIDQ3783277

Victor Harnik

Publication date: 1987

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

zbMATH Keywords

models of arithmetic recursively saturated models models of Presburger arithmetic

Mathematics Subject Classification ID

Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20)

This page was built for publication:

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