...
机译:邻近代数品种的映像形状
Univ Barcelona Dept Philosophy Carrer Montalegre 6 Barcelona 08001 Spain;
Univ Pretoria Dept Math &
Appl Math Private Bag X20 ZA-0028 Pretoria South Africa;
Epimorphism; Heyting algebra; Esakia space; Intuitionistic logic; Intermediate logic; Beth definability;
机译:邻近代数品种的映像形状
机译:C〜*代数的胚态是射影
机译:共居代数品种的模型完成
机译:在各种弱居国代数的一些子类中兼容的操作
机译:各种晶格中的上位态和支配性。
机译:代数变体的特征数
机译:C * - 代数的似然性是完全的