scientific article
From MaRDI portal
Publication:3068265
zbMath1224.03020MaRDI QIDQ3068265
Publication date: 13 January 2011
Full work available at URL: http://www.emis.de/journals/SMZ/2004/05/1160.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
homeomorphismcomputable modelconstructive modelautohomeomorphismeffective topological spaceeffective topology
Categorical methods in general topology (54B30) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)
This page was built for publication: