[FOM] Infinitary languages, consistency and models

[Panu Raatikainen]

According to Scott (1965), Ryll-Nardzewski (unpublished) has  
constructed a syntactically consistent and complete set of sentences  
of the infinitary language L_omega1 omega which has no model.

(i) Does anyone know what is the general idea of the construction?

(ii) Does anyone have any idea whether something analogous holds for  
infinitary languages which allow uncountable conjunctions/disjunctions?


Best,

Panu
-- 
Panu Raatikainen

Ph.D., Adjunct Professor in Theoretical Philosophy

Theoretical Philosophy
Department of Philosophy, History, Culture and Art Studies
P.O. Box 24  (Unioninkatu 38 A)
FIN-00014 University of Helsinki
Finland

E-mail: panu.raatikainen at helsinki.fi

http://www.mv.helsinki.fi/home/praatika/