scientific article; zbMATH DE number 804044

From MaRDI portal

Publication:4851332

Jump to:navigation, search

zbMath0841.03018MaRDI QIDQ4851332

Yu. G. Ventsov

Publication date: 2 November 1995

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

zbMATH Keywords

constructive model computable class autoequivalent constructivizations effective infiniteness

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

This page was built for publication:

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