[FOM] Infinitary languages, consistency and models
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?
Ph.D., Adjunct Professor in 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