Sequential Theories and Infinite Distributivity in the Lattice of Chapters
Stern, Alan S.
J. Symbolic Logic, Tome 54 (1989) no. 1, p. 190-206 / Harvested from Project Euclid
We introduce a notion of complexity for interpretations, which is used to prove some new results about interpretations of sequential theories. In particular, we give a new, elementary proof of Pudlak's theorem that sequential theories are connected. We also demonstrate a counterexample to the infinitary distributive law $a \vee \bigwedge_{i \in I} b_i = \bigwedge_{i \in I} (a \vee b_i)$ in the lattice of chapters, in which the chapters $a$ and $b_i$ are compact. (Counterexamples in which $a$ is not compact have been found previously.)
Publié le : 1989-03-14
Classification: 
@article{1183742860,
     author = {Stern, Alan S.},
     title = {Sequential Theories and Infinite Distributivity in the Lattice of Chapters},
     journal = {J. Symbolic Logic},
     volume = {54},
     number = {1},
     year = {1989},
     pages = { 190-206},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183742860}
}
Stern, Alan S. Sequential Theories and Infinite Distributivity in the Lattice of Chapters. J. Symbolic Logic, Tome 54 (1989) no. 1, pp.  190-206. http://gdmltest.u-ga.fr/item/1183742860/