Èíôîðìàöèîííàÿ ñèñòåìà "Êîíôåðåíöèè"



The 9th Asian Logic Conference

16-19 August, 2005
Novosibirsk, Russia

Abstracts


The plenary talks

Computable Boolean algebras

Alaev P.E.

IM SB RAS (Novosibirsk)

We plan to consider some conditions for computability for Boolean algebras, an algebraic description for autostable Boolean algebras with finitely many distinguished ideals, and conditions for strong computability for Bolean algebras with a fixed elementary theory.


Mail to Webmaster
alc9@math.nsc.ru
|Home Page| |English Part| [SBRAS]
Go to Home
© 1996-2000, Siberian Branch of Russian Academy of Sciences, Novosibirsk
    Last update: 06-Jul-2012 (11:44:52)