Algebra and Logic

, 48:410

autostability of prime models under strong constructivizations


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.


Ehrenfeucht theory prime model autostability strong constructivization 

Copyright information

© Springer Science+Business Media, Inc. 2009

Authors and Affiliations

  1. 1.Sobolev Institute of Mathematics, Siberian BranchRussian Academy of SciencesNovosibirskRussia
  2. 2.Novosibirsk State UniversityNovosibirskRussia

Personalised recommendations