Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Parametric groups of definable automorphisms of strongly constructive models - MaRDI portal

Parametric groups of definable automorphisms of strongly constructive models

From MaRDI portal

Publication:546226

Jump to:navigation, search

DOI10.1134/S0037446611020194zbMath1237.03021OpenAlexW2087746001MaRDI QIDQ546226

K. M. Skorobogatov

Publication date: 24 June 2011

Published in: Siberian Mathematical Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1134/s0037446611020194

zbMATH Keywords

automorphism group computable model constructive model decidable model definable automorphism parameteric automorphism group

Mathematics Subject Classification ID

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

Cites Work

This page was built for publication: Parametric groups of definable automorphisms of strongly constructive models

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