Una costruzione comune in teoria dei modelli consiste nel partire da una teoria T, aggiungere al linguaggio un simbolo per un automorfismo, ottenendo una teoria T’, e considerare la classe K dei modelli esistenzialmente chiusi di T’. A volte, la…
Una costruzione comune in teoria dei modelli consiste nel partire da una teoria T, aggiungere al linguaggio un simbolo per un automorfismo, ottenendo una teoria T’, e considerare la classe K dei modelli esistenzialmente chiusi di T’. A volte, la…