Mathematica Eterna
Acesso livre

Abstrato

Álgebras QI distributivas corretas com pseudo-avaliações

Magdalena Wojciechowska-Rysiawa

Utilizando o modelo de Busæneag, é dada a noção de uma (pseudo-)avaliação numa álgebra QI distributiva correcta e de uma (pseudo-)métrica induzida por uma (pseudo-)avaliação. Mostra-se que uma operação binária na álgebra QI distributiva correcta é uniformemente contínua.