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



The 9th Asian Logic Conference

16-19 August, 2005
Novosibirsk, Russia

Abstracts


Model theory and set theory

On J-stability of Jonsson's theories.

Yeshkeyev A.R.

Karaganda State University (Karaganda)

We have considered connection between universal subclass of Jonsson's theory with center of one under stability property for existential types. For example, we have the following result.

Theorem. Let T is universal, complete for existential sentenses, perfect Jonsson's theory, k≥w. Then the following are equivalent:

1) T - J-k-stable,

2) T* - k-stable, where T* is center of T.


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)