Computable classes of constructivizations of $2$-constructivizable models

S. Yu. Podzorov

Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences, Novosibirsk

UDC: 510.5+510.67

Received: 10.08.1998

 English version: DOI: 10.1007/BF02671735

Bibliographic databases:

•