[FOM] Infinitary languages, consistency and models

Panu Raatikainen panu.raatikainen at helsinki.fi
Fri Mar 20 12:04:37 EDT 2015

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?


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

E-mail: panu.raatikainen at helsinki.fi


More information about the FOM mailing list