Autor:	Baizhanov, Bektur S.
Předmět:	SET theory BINARY number system LINEAR orderings MATHEMATICAL formulas MATHEMATICAL analysis
Zdroj:	AIP Conference Proceedings; 2016, Vol. 1759 Issue 1, p1-4, 4p
Abstrakt:	In this paper, we study 1-types over sets of countable theory which has /0-definable binary relation of linear order. [ABSTRACT FROM AUTHOR]
Databáze:	Complementary Index
Externí odkaz:	Zobrazit plný text záznamu