Èíôîðìàöèîííàÿ ñèñòåìà "Êîíôåðåíöèè"
The 9th Asian Logic Conference
16-19 August, 2005
Novosibirsk, Russia
Abstracts
Model theory and set theory
First-order definability in the elementary type semigroup of superatomic Boolean algebras with distinguished subalgebra.
Sobolev Institute of Mathematics and Novosibirsk State University (Novosibirsk)
Text in pdf-file.
© 1996-2000, Siberian Branch of Russian Academy of Sciences, Novosibirsk
Last update: 06-Jul-2012 (11:44:52)