|
This article is cited in 13 scientific papers (total in 13 papers)
Autostability of prime models under strong constructivizations
S. S. Goncharovab a Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences, Novosibirsk, Russia
b Novosibirsk State University, Novosibirsk, Russia
Abstract:
We furnish an example of an Ehrenfeucht theory whose prime model is autostable under strong constructivizations and there exists a prime model in a finite expansion by constants that is nonautostable under strong constructivizations of the theory constructed.
Keywords:
Ehrenfeucht theory, prime model, autostability, strong constructivization.
Received: 20.10.2009
Citation:
S. S. Goncharov, “Autostability of prime models under strong constructivizations”, Algebra Logika, 48:6 (2009), 729–740; Algebra and Logic, 48:6 (2009), 410–417
Linking options:
https://www.mathnet.ru/eng/al421 https://www.mathnet.ru/eng/al/v48/i6/p729
|
Statistics & downloads: |
Abstract page: | 491 | Full-text PDF : | 101 | References: | 56 | First page: | 10 |
|