Interpolation in ortholattices

被引：1

作者：

Goldstern, M ^{[1
]}

机构：

[1] Vienna Tech Univ, A-1040 Vienna, Austria

来源：

ALGEBRA UNIVERSALIS | 2001年 / 45卷 / 01期

基金：

奥地利科学基金会;

关键词：

Partial Function; Complete Ortholattice;

D O I：

10.1007/s000120050202

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

If(L, boolean OR, boolean AND, 0, 1, (perpendicular to)) is a complete ortholattice. f : L-n --> L any partial function, then there is a complete ortholattice L* containing L as a subortholattice, and an ortholattice polynomial p with coefficients in L* such that p(a(1),..., a(n)) = f(a(1),...,a(n)) for all a(1),..., a(n) epsilon L. Iterating this construction long enough yields a complete ortholattice in which every function can be interpolated by a polynomial on any set of small enough cardinality.

引用

页码：63 / 70

页数：8