Elementary Theories for Rogers Semilattices |
| |
Authors: | S. A. Badaev S. S. Goncharov A. Sorbi |
| |
Affiliation: | (1) KazSU, Masanchi 39/47, Almaty, 480012, Kazakhstan;(2) Institute of Mathematics SB RAS, Akademika Koptyuga Prospekt, 4, Novosibirsk, 630090, Russia;(3) Dip. di Scienze Matematiche ed Informatiche “Roberto Magari”, Via del Capitano 15, 53100 Siena, Italy |
| |
Abstract: | ![]() It is proved that for every level of the arithmetic hierarchy, there exist infinitely many families of sets with pairwise non-elementarily equivalent Rogers semilattices.Supported by INTAS grant No. 00-499.__________Translated from Algebra i Logika, Vol. 44, No. 3, pp. 261–268, May–June, 2005. |
| |
Keywords: | arithmetic hierarchy Rogers semilattice elementary theory |
本文献已被 SpringerLink 等数据库收录! |
|