On A Lattice of Relational Reducts
暂无分享,去创建一个
[1] K. Kaiser. On Generic Stalks of Sheaves , 1977 .
[2] Klaus Kaiser. On relational selections for complete theories , 1978, Arch. Math. Log..
[3] Klaus Kaiser. Quasi-axiomatic classes , 1975, Arch. Math. Log..
[4] Angus Macintyre,et al. Omitting quantifier-free types in generic structures , 1972, Journal of Symbolic Logic.
[5] Klaus Kaiser. Various remarks on quasi-universal model classes , 1975, Arch. Math. Log..
[6] Roberto Cignoli,et al. The lattice of global sections of sheaves of chains over Boolean spaces , 1978 .