|
VIDEO LIBRARY |
International workshop "Syntax and semantics of logical systems"
|
|||
|
On compositions of circular dense orders with structures and of their algebras of binary formulas D. Yu. Emelyanova, B. Sh. Kulpeshovb, S. V. Sudoplatovc a Novosibirsk State Technical University b International Information Technology University c Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences, Novosibirsk |
|||
Abstract: We consider compositions of structures and compositions of theories for circular dense orders and given structures, as well as related algebras. It is proved that for any |