3 research outputs found
Stationary logic of finitely determinate structures
AbstractIn this part we develop the theory of finitely determinate structures, that is, structures on which the dual quantifiers āstatā and āunreadableā have the same meaning. Among other genera