scientific article

From MaRDI portal

Publication:2883032

Jump to:navigation, search

zbMath1249.03063MaRDI QIDQ2883032

A. I. Stukachev

Publication date: 11 May 2012

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

zbMATH Keywords

admissible set second-order arithmetic abstract structure

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Related Items (1)

Inner constructivizability of functional structures

This page was built for publication:

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